Aus der aussagenlogischen Tautologie
ergibt sich mit Fakt (1)
Wegen Fakt (4) gilt
Der Kettenschluss liefert