Es gilt die aussagenlogische Ableitbarkeit

Dies fassen wir als eine Aussage vom Typ

auf. Nach Aufgabe gilt in dieser Situation auch

Nach Fakt  (3) ist

Dies zusammengenommen ergibt mit dem Kettenschluss

was im obigen Spezialfall die gewünschte Ableitbarkeit

liefert.