背理法を使ったら、即証明が正しい? 初耳だよ(^^