>505
>背理法使わないことそのものはまぁいいのでは？

そのとおりですね。