背理法のアレか?