証明の大まかな流れは、x1で反例があるとすると、それより小さいx2も反例になって、無限降下法より反例が無い事が言える、です。2014-07-15 18/11/18 完成しました！ 19/08/31 完成してねえええ！20/09/19 完成したかな