Das Distributionsaxiom liefert
Dabei ist aufgrund der Kontraposition und Fakt (1) der Vordersatz äquivalent zu
Nach Kontraposition ist der Nachsatz äquivalent zu
was gerade
bedeutet. Es ergibt sich also die Ableitung