Accorciato le dimostrazioni di 'basso livello'
Riscritto la dimostrazione 2 di Stirling, accorciandola
Cambiata l'intestazione della sezione