いきなりではない。一般的に背理法を用いていることに気づかない人が多いので
>>631にわざわざ「背理法」とかいたんだよ。