und
Nach Bemerkung gilt auch
und daraus ergibt sich mit Axiom (3), der Konjunktionsregel und dem Modus ponens
Mittels des Kettenschlusses ergibt sich daraus und aus Axiom (2) die Behauptung.