::
Missing nuber, treated as zero \def\begin{thm}
Quello è ciò che hai riportato a proposito del messaggio di errore; se il messaggio non è quello, allora sarebbe meglio che riportassi verbatim quella ventina di righe che nel file log stanno a cavallo del messaggio di errore.