\(Γ_n∧A_k=Γ_{k+1},\ Γ_0=φ\)
\(Γ_n\) は無矛盾とする。
\(Γ_n|-P\) とすると、演繹定理より
\(|-A_0→A_1→A_2→･･･→A_{n-1}→P\quad右結合の括弧は省略\)
\(Γ_n\) は無矛盾であるため、\(A_k\) は \(A_l;l
