\input amssym.def % carica le fonts del amstex

\overfullrule=0pt % non fa i segnacci neri per gli overfull

\newcount\d	      % definizioni
\newcount\t       % teoremi


\def\defi#1{\advance\d by 1
\bigskip\noindent%
{\bf Definizione {\number\d :}}%
\quad{\bf #1 } \smallskip\noindent}

\def\teo#1{\advance\t by 1
\bigskip\noindent%
{\bf Teorema {\number\t :}}%
\quad{\bf #1 } \smallskip\noindent }

\def\fine{
\hfill{\bf $\bullet \bullet \bullet$} \bigskip\noindent}