背理法
記事はありません。