>>387
背理法って奴ですね、他に有力で現実的な候補があればうち消せるから論理的且つ合理的だ