>>270
ありがとうございます。
背理法にはまだ慣れてないです。
ストレートに「肯定と仮定したら肯定だった」の方が好きです。
これから勉強しておきます。