1) 〜法を使わないとできない証明、なんてない。たいてい複数の方法で証明できる。
2) 無限下降法は背理法の一種
3) 証明法を〜法、と分類するのは、バカに手順を叩き込む方便で（ツルカメ算のたぐい）、
　ホントはそんなこと、どうでもいいんだ。