Gruppo Utilizzatori Italiani di TeX
forse farei meglio a scrivere la dimostrazione senza alcun ambiente, e terminarla con \qed?
Giusto. E non occorre nemmeno \qed: sei tu che spieghi la dimostrazione. Basta un buon titolo.
Ciao Enrico