定理:
P: 命題
このとき、￢￢￢P ⇒ ￢P

証明:
￢￢￢Pを仮定する。 (H1)
￢Pを示す:
もしPだったと仮定する。 (H2)

補題: このとき、￢￢P (L)
証明:
もし￢Pだったと仮定する。 (H3)
(H3) (H2)より矛盾。□

(H1) (L)より矛盾。□


定理の結論で示すべき￢Pを、(H3)で仮定している。
循環論法では？