Completata la dimostrazione di PreTonelli