背理法
本はありません。