Die Alleinführung im Antezedens ergibt
und
und daraus zusammen mit Fakt (2)
Die Variable x {\displaystyle {}x} ist sowohl vorne als auch in ∀ x ( α ∧ β ) {\displaystyle {}\forall x{\left(\alpha \wedge \beta \right)}} gebunden. Daher ergibt die Alleinführung im Sukzedens