慕依雪提出的新方案，說簡單也簡單，說復雜也復雜。

其核心只有五個字：數學歸納法！

數學歸納法，沒有人會陌生。

眾所周知，數學歸納法是我們在高中就接觸的一種證明方法，可以說是最基礎的證明法之一。

但慕依雪的方案可不是我們高中學的最普通的數學歸納法。

而是……史詩級加強難度的數學歸納法！

為了證明高維代數簇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號，提前了五天完成任務。

還有一點。

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

既然系統認定任務完成，那就從另一種角度可以說明，慕依雪給出的有關極小模型綱領第二問題的推導過程是正確無誤的。

有了這個機制，在一定程度上，系統可以為她一個糾錯的功能。

因為一旦慕依雪的推導過程是錯誤的，那么系統并不會顯示任務完成。

雖然系統不能指出慕依雪具體錯誤的地方，但起碼，可以避免直