1. ¬¬P →(¬P →¬¬P)          (Ak)
2. ¬¬P                     ipotesi
3. ¬P → ¬¬P                 MP(1,2)
4.(¬P →¬¬P)→((¬P →¬P) →P)   (A¬)
5. (¬P →¬P) →P              MP(3,4)
6. ¬P→¬P                   Teorema
7. P                       MP(5,6)