関係ない話かもしれないけど、無限降下法の証明も怪しいやつがいっぱいあるからなぁ（汗）