なお
背理法が使えるような定義でなくては誰も興味持たないよ