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