>>592
わかってます。
対偶を使った証明のプリントなので、背理法ではないと思ったのですが…
命題の対偶が矛盾してるんでしょうか?