Si tratta di un ITC Berkeley oldstyle. Non credo ci sia un pacchetto per scegliere quella famiglia di font, è stato anche non banale installarli dato che sono alle prime armi con latex, ma funziona mi pare. Quanto al }[][]{\fontfamily{lby}\selectfont}{\fontfamily{lby}\selectfont}? attaccato a \begin{proof} è solo un errore di copia incolla non ho mai compilato il documento così. Ci sono altri due \fontfamily{lby}\selectfont inutili nel testo ma sono lì per errore anche quelli; ne ho scritto solo uno e viene tranquillamente compilato. Poi non so se ci siano modi più veloci ma non è che scrivere \selectfont{\fontfamily{lby{\selectfont sia noioso. Il problema è che va dappertutto e pur avendo creato il \newtheoremstyle relativo ad ognuno dei \newtheorem quando scrivo la dimostrazione torna al carattere che usa latex di default. Vorrei capire perchè o almeno da cosa dipende il problema, se sono costretto a ridefinire un ambiente simile a proof e come posso farlo.