とする.このとき
が成立する.
(証明)
1 (1) 仮定
2 (2) 仮定
3 (3) 仮定
4 (4) 仮定
3 (5) 3. ∧-除去
3 (6) 3. ∧-除去
2, 3× (7) 2-5. →-導入
2× (8) 2,7. →-除去
(9) 6,8. ∧-導入
(10) 9. ∨-導入
4× (11) 4-10. →-導入
(12) 9,11. →-除去
(13) 12. ∨-導入
1 (14) 1,13. ∧-導入
1× (15) 12-14. →-導入
(16) 12,15. →-除去