慕依雪提出的新方案，说简单也简单，说复杂也复杂。

其核心只有五个字：数学归纳法！

数学归纳法，没有人会陌生。

众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。

但慕依雪的方案可不是我们高中学的最普通的数学归纳法。

而是……史诗级加强难度的数学归纳法！

为了证明高维代数簇flip操作在有限次后终止这个主定理，需要证明六个看似毫无联系的辅助定理。

我们将这六个定理分别命名为：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号，提前了五天完成任务。

还有一点。

也是慕依雪早就注意到的。

既然系统认定任务完成，那就从另一种角度可以说明，慕依雪给出的有关极小模型纲领第二问题的推导过程是正确无误的。

有了这个机制，在一定程度上，系统可以为她一个纠错的功能。

因为一旦慕依雪的推导过程是错误的，那么系统并不会显示任务完成。

虽然系统不能指出慕依雪具体错误的地方，但起码，可以避免直