1) per quel che riguarda il suggerimento sull’ambiente per le dimostrazioni, non l’ho ignorato… semplicemente non ero riuscita ad usare l’ambiente amsthm 😥 ora proverò con la tua correzione
Non c’è alcun ambiente amsthm; il pacchetto amsthm definisce l’ambiente proof in modo corretto.
2) non ho ben capito quello che intendi dire per epsfig e pstricks…
Che epsfig non si deve caricare. È del tutto inutile.
Se usi pstricks non puoi compilare con pdflatex; quindi microtype è praticamente inutile.
3) hai capito perfettamente quello che intendevo (gabbie fronte-retro non perfettamente sovrapposte), ma non ho capito io come risolvere il problema 😕
Se stampi fronte retro sono sovrapposte. Se non vengono sovrapposte è probabilmente un problema di impostazione di dvips. Occorre sapere di più sul sistema che usi per compilare: editor, sistema operativo, eccetera.
Ciao
Enrico