「是嗎？你確定？」弗拉蒙特教授繼續追問。

「我確定。」歐葉無比堅定。

「下面由努曼伯格教授、漢克斯教授提問。」弗拉蒙特教授不再問，他低頭在答辯記錄紙上寫寫畫畫。

努曼伯格教授長著一張圓臉，禿頂，笑眯眯像是個白人版的彌勒佛，他問到：「歐，關於引理1，我並不是太明白你取5≤n≤3o且n≠6的依據是什么？」

「嗯。」歐葉早有准備，她切換ppt到39頁，這頁引人注目的重點是方程（11）：（2k+1）^x±（2k（k+1）））^y√-2k（k+1）=±（1±√-2k（k+1））^z

「給定正整數k，無z≥3的正整數解。」歐葉說到。

「ok，我暫時沒有問題了。」努曼伯格教授低頭記錄，應該是在給歐葉打分。

第二個問題一問一答不過一分鍾，但旁聽的沈奇知道這個問題絕沒有看上去那么簡單。

如果（x，y，z）是方程（11）的正整數解，根據前提定義可知1+√-2k（k+1）與1-√-2k（k+1）形成盧卡斯偶數。

由方程（11）可得一個新方程，即歐葉論文中的方程（12），可以驗證uz（1+√-2k（k+1），1-√-2k（k+1））沒有本原素因子。

再由bhv定理可得，不存在z≥3的正整數解（x，y，z），回到前提定義，若使得un（a，b）不具有本原素除子，則n須取5≤n≤3o且n≠6。

邏輯上挺繞的，歐葉的回答「給定正整數k，無z≥3的正整數解」屬於一錘定音的小結性質，她心中明白這個邏輯，才能用一句話總結由這個邏輯推導出的核心結論。

讓歐葉長篇大論的講出全套推導邏輯，那她得講一整天。

好在這里是普林斯頓，而且三位答辯官事先研究過歐葉的論文，他們都是著名數學教授，一葉知秋，答辯人一兩句關鍵答辯詞就足以讓三位答辯官給出分數。

這時由漢克斯教授言：「我來說幾句吧，歐，你證明了不存z≥3，即z要么為1要么為2，你的最終結論是z=2。而我基於瑞安原則計算出z可以取1或2，所以我認為你對耶斯曼諾維奇猜想的證明不成立。」

此問一出，歐葉驚呆了：「……」

沈奇驚呆了，瑞安原則什么鬼？

林登施特勞斯教授驚呆了，z必須為2，z只能為2不能取1！歐葉的結論是我確認過的，不會錯的！

只有z=2的條件滿足，代入前面的式子，才能證明方程a^x+b^y=^z僅有整數解（x，y，z）=(2，2，，2)，，即耶斯曼諾維奇猜想的完全證明成立。

漢克斯教授基於瑞安原則計算出z=2或1，這個結論如果成立，將推翻歐葉的博士論文，耶斯曼諾維奇猜想依舊未能被完全證明，歐葉現在做的工作，和耶斯曼諾維奇本人幾十年前的證明工作沒有本質區別。

我努力了兩年得來的成果不要被推翻呀！歐葉急了，臉色忽白忽紅，她緊握雙拳高聲辯論：「漢克斯教授，請看我論文的第92頁到1o1頁，對於s中的任意（x，y，z）都存在唯一的有理數1滿足代數整數環！在方程（22）的兩邊模2（n+1）得2ix，再模2n（n+1）+1得4ix，依此類推，我們必然可以排除z=1的情況，所以z只能取2！」

歐葉忽然爆，三位答辯官嚇了一跳，漢克斯教授的筆不慎掉落地面。

「這……暴走的小葉子？」沈奇也受到驚嚇，他從未見過歐葉如此激動，這大概是歐葉得病之後一口氣說的最長的一段話，有理有據有真相，還挺6的。