Dividere in step una dimostrazione

@redflame, vedo che usi ancora la codifica latin1. sono un paio d’anni che la codifica di default di tutto il sistema TeX è impostato sula codifica utf8; il fatto che tu usi quella codificami fa pensare che tu stia riciclando un vecchio template, forse quello stesso che avevi usato per la laurea triennale. Dovresti aggiornarti. E ovviamente dovresti aggiornare anche lo shell editor che stai usando in modo che usi la codifica utf8.
Dovresti anche evitare la dedica; la tua ragazza e la tua famiglia sono più contenti di saperti laureato che non di vedersi dedicata la tesi; questa, inoltre, costituisce un documento “burocratico” non una libera pubblicazione; se ti daranno la dignità di stampa, potrai pubblicare come ti pare e dedicare il tuo lavoro pubblicato a chi vuoi.
Ovviamente questi sono consigli di un vecchio professore, non un “ordine perentorio”.

Veniamo al tuo punto; L’unico motivo che ti suggerisce di usare l’ambiente proff del pacchetto amsthm è che alal fine delle diostrazione inserisce il quadratino con la scritta QED accanto (QED: Quod Erat Demostrandum).
Tu puoi composti la dimostrazione con qualsiasi altro ambiete e te la puoi configurare come ti pare e piace. Ma nel tuo caso vedrei soluzioni molto semplici anche usando l’ambiente proof.
La più semplice è che tu scriva esplicitamente`{\itshape Passo 1: primo passo}` lasciandovi una riga bianca prima e un’altra dopo. Ovviamente ogni volta cambi il testo e il numero.
Puoi definirti una macroche ti faccia più o meno la stessa cosa definendoti un nuovo contatore subordinato al contatore theorem e una macro per scriverti il testo, per esempio:`% nel preambolo
\newcounter{passo}[theorem]\renewcommand\thepasso{\arabic{passo}}
\newcommand\passo[1]{\refstepcounter{passo}\par\noindent{\itshape Passo \thepasso:\emspace #1}\par}
…
\begin{document}
…
\begin{theorem}…
…
\end{theorem}

\begin{prof}[…]
\passo{titolo del primo passo}
…
\passo{titolo del secondo passo}
….
% eccetera
\end{proof}
…
\end{document}`Ovviamente lo schema che ti ho scritto è uno schema di principio; adatta le definizioni e il nome del contatore che io ho chiamato “passo” a ciò che ti fa più comodo.
L’articolo di Pratelli e Saracco che hai allegato è stato scritto con LaTeX; probabilmente con la classe amsart. Usa solo i font Compuer Modern che per scrivere in inglese possono anche andare bene, sebbene… Tuhai caricato il pacchetto mathptmx, suppongo per usare i font Palatino anche per la matematica ti suggerisco, invece, di usare i font newptxtext e newptxmath:[code]
\usepackage{newptxtext,newptxmath}[code] che sono molto più professionali; ti raccomando, per la bella copia, di rimettere \linestretich al valore 1, perché il valore di 1.3 (indicato come “1 riga e mezzo”) è eccessivo per un testo non destinato a pubblico adulto; se proprio le righe del testo ti sembrano un po’ troppo vicine, puoi usare un valore non superiore a 1.1, ma non fidarti di questa sensazione; lo scartamento del 20% maggiore del corpo è già previsto da LaTeX e tipograficamente va bene; allargare lo scartamento (scartamanto=avanzamento di riga=corpo per coefficiente: 1.2 X 1.1 = 1.32; 1.2 X 1.3 = 1,56) può essere utile per annotare le bozze stampate per correggere o , appunto, annotare, ma nella versione finale è bene che lo scartamento rimanga quello preimpostato. Tieni presente, inoltre, che stai già componendo in corpo 11, già grandino di suo.

No, non ti odio se usi \underline; ti dico solo che è sbagliato, perché in tipografia non si mette mai in rilievo una parola o una locuzione con due o tre metodi diversi; se vuoi esagerare puoi usare [tt]\underline{\itshape\bfseries #1}}[/tt] perché così si vede meglio sottolineato+corsivo+nero 😮
Non me lo sto inventando: Sono un appassionato lettore di Robert Bringhurst che da molti è considerato il più grande book designer oggi vivente; un altro sarebbe Tufte,ma dopo averne acquistato il suo libro, mi sono convinto che si occupa prevalentemente di questioni grafiche, senza avere a mente che il fine della tipografia è quello di comunicare messaggi senza distrarre il lettore e senza affaticarne il compito di leggere.
Ovviamente sei libero di fare come credi, indipendentemente dal fatto chi io ti ami o ti odi.:smile: