其实，高师兄还不知道的一点是。
顾律在制定新方案的时候，不仅仅是要让证明方案具有可行性，并且，还需要新方案的证明步骤要比原方案简单。
只有这样，顾律才能保证，在六个月的任务时限结束前，解决极小模型纲领第二问题。
顾律在电脑上操作一番后，对高师兄说道，“高师兄，新方案我通过邮件发给你了，你检查一下，有没有问题。”
高师兄打开邮箱中顾律发来的文件，粗略的游览一遍。
接着，高师兄露出一副古怪的表情，“顾师弟，你这证明方案……”
“很奇怪是吧。”顾律为高师兄补充了后半句，不在意的笑笑，“其实在我制定这个方案的时候，也是这种感觉。”
“但事实，它就是对的！”顾律嘴角上扬，语气自信。
顾律提出的新方案，说简单也简单，说复杂也复杂。
其核心只有五个字：数学归纳法！
数学归纳法，没有人会陌生。
众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。
但顾律的方案可不是我们高中学的最普通的数学归纳法。
而是……史诗级加强难度的数学归纳法！
为了证明高维代数簇flip操作在有限次后终止这个主定理，需要证明六个看似毫无联系的辅助定理。
我们将这六个定理分别命名为：A、B、C、D、E、F！
这六个辅助定理的证明需要用数学归纳法进行互推。
例如小于等于n-1维的定理D，小于等于n维的定理B以及小于等于n维的定理C可推出小于等于n维的定理D。
小于等于n维的定理A，小于等于n维的定理B，可以推出小于等于n维的定理C。