慕依雪提出的新方案，说简单也简单，说复杂也复杂。
其核心只有五个字数学归纳法！
数学归纳法，没有人会陌生。
众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。
但慕依雪的方案可不是我们高中学的最普通的数学归纳法。
而是……史诗级加强难度的数学归纳法！
为了证明高维代数簇fli操作在有限次后终止这个主定理，需要证明六个看似毫无联系的辅助定理。
我们将这六个定理分别命名为a、b、c、d、e、f！
这六个辅助定理的证明需要用数学归纳法进行互推。
例如小于等于n1维的定理d，小于等于n维的定理b以及小于等于n维的定理c可推出小于等于n维的定理d。
小于等于n维的定理a，小于等于n维的定理b，可以推出小于等于n维的定理c。
小于等于n维的定理c，小于等于n维的定理d，可以推出小于等于n维的定理e。
共需要六个数学归纳的互推表达。
对外行人士来说，肯定光看着都头大，但对于数学家来说，是相当容易理解的。
秋高气爽，燕京的天气中带着微微的凉意。
慕依雪外面套了件风衣，踩着从路边树上簌簌落下的树叶，来到授课教室。
目前大一学年的上半学期已然过半，数学系的同学们也渐渐适应了大学生活的节奏。
对于燕大的同学们来说，大学生活未必会比高中轻松多少。
燕大汇聚了来自全国各地的优秀学子，同时，意味着竞争更加残酷激烈。
没人敢轻易懈怠。
所以图书馆，便成了他们宿舍和教室最常去的地方。
熬夜到深夜十二点，渐渐变为一种常态。
凌晨五点多的燕大夜景，他们时常可以观赏到。
清晨未名湖畔，总是被一群背单词的学生们占据。
甚至连校园的长椅上，静谧的咖啡馆中，都能见到一对对情侣一人抱着一本书读的画面。
在燕大，学习氛围浓郁的可怕。
恐怕就是随便让一个过来，在这种氛围的感染下，都会恨不得当场拿出一本书读个痛快。
四年的大学生涯，有许多度过的方式。
而燕大的学子们，选择用学习来充实自己。
因为……学习使他们快乐！
在他们眼中，学习并非是一种枯燥乏味的事情。
而是，就像升级打怪一样。
有一种一步步升级和突破自我的爽感。
尤其是时不时的考试和竞赛，更让他们从学习中获得了一种成就感。
用慕依雪同学的原话来说，就是他这辈子感触到的最美妙的一种感觉。
这种感觉，这他沉迷。
十天后
我可以十分负责任的宣布，极小模型纲领的第二问题，被我成功解决了！”慕依雪的声音逐渐高昂起来。
叮！
慕依雪脑海中传来叮的一声脆响，这是任务完成的提示声。
今天是12月4号，任务截止的时间是12月9号，提前了五天完成任务。
还有一点。
也是慕依雪早就注意到的。
既然系统认定任务完成，那就从另一种角度可以说明，慕依雪给出的有关极小模型纲领第二问题的推导过程是正确无误的。
有了这个机制，在一定程度上，系统可以为她一个纠错的功能。
因为一旦慕依雪的推导过程是错误的，那么系统并不会显示任务完成。
虽然系统不能指出慕依雪具体错误的地方，但起码，可以避免直接将错