Aus der ableitbaren Implikation
ergibt sich mittels der Alleinführung im Antezedens
und dem Kettenschluss
und daraus mit der Alleinführung im Sukzedens, die anwendbar ist, da x {\displaystyle {}x} vorne und in ∀ x β {\displaystyle {}\forall x\beta } gebunden ist,