背理法による証明は危険ではある。
1つの間違った命題からすべての命題が導かれてしまう。
普通数学者は自分が使う定理の証明を全てフォローしているわけではない。