vero in teoria: in pratica quando compilo mi dice che vuole l’opzione della lingua, quindi mi sono arresa e ce l’ho messa
(sotto linux questo non mi accadeva… stupidi apple!!!)
Il mio file funziona benissimo su un apple, anzi due, un iMac e un MacBookPro, con MacTeX installato e tenuto sempre aggiornato.
Invece la mancanza della definizione di Lemma, ora superata, forse poteva essere la causa dei tuoi problemi. Se nonostante i miei consigli e quellli di Claudio @cfiandra, non riesci a uscire dal problema c’è sotto qualcosa di più serio. Un sospetto mi viene dal fatto che ti chieda di specificare una lingua; non è necessario e il fatto che compili bene sui miei Mac lo conferma; il fatto che continui a darti un problema sull’undicesima equazione può essere dovuto a tanti fatti, compreso il fatto che hyperef non è caricato per ultimo. Hyperref ridefinisce tutti i comandi che producono dei riferimenti incrociati direttamente o indirettamente, quindi deve essere assolutamente caricato solo dopo aver caricato gli altri pacchetti che possono definire o ridefinire comandi che implicano riferimenti incrociati.
PS: i vecchi comandi che non ti hanno mai dato problemi cambiano tutte e 4 le caratteristiche dei font Codifica, Famiglia, Serie, Forma; sono cotituiti da due dichiarazioni: \normalfont che ripristina le quattro specifiche a OT1, cmr, m, n poi esegue il comando che imposta la caratterisica richiesta, nel caso di \bf esegue \fontseries{bx}\seelctfont. Invece nel nuovo LaTeX2e ogni comando di codifica, famiglia serie forma cambia SOLO la caratteristica specificata lasciando le altre intatte. Detto in altri termini, se stai usando il font senza grazie inclinato di serie media e specifichi \bf, ottieni il font con grazie diritto di serie nera estesa., mentre se usi \bfseries usi il font senza grazie inclinato di serie nera estesa. Ammetterai che si tratta di cose diverse!