ちゃんと背理法を使う