Aggiustato anche l'ultimo teorema, anche qui mantenendo il contenuto