PPT页码显现有101页，欧叶均匀5秒钟过一页。
沈奇惊呆了，瑞安原则甚么鬼？
“弗拉蒙特传授，努曼伯格传授，汉克斯传授，下午好。”欧叶规矩的说到，瞟了眼旁听席的沈奇和林登施特劳斯。
欧叶：“好的。”
只要z=2的前提满足，代入前面的式子，才气证明方程a^x+b^y=c^z独一整数解（x，y，z）=(2，2，2)，即耶斯曼诺维奇猜想的完整证明建立。
不过欧叶入场以后阐扬安稳，并没有虚，这是个好兆头。
如果（x，y，z）是方程（11）的正整数解，按照前提定义可知1+√-2k（k+1）与1-√-2k（k+1）构成卢卡斯偶数。
“是吗？你肯定？”弗拉蒙特传授持续诘问。
此问一出，欧叶惊呆了：“……”
欧叶在第4页不做逗留，直接切到第5页：“这个，卢卡斯偶数，等价。”
Power-Point，这是真正的PPT……沈奇从未见过如此简练的PPT汇报，而PPT的精华恰是如此：激烈的观点。
由方程（11）可得一个新方程，即欧叶论文中的方程（12），能够考证uz（1+√-2k（k+1），1-√-2k（k+1））没有本原素因子。
欧叶切到第3页：“这个，卢卡斯序列。”
欧叶进入辩论会现场，将她的博士论文投影到屏幕上。
欧叶切换PPT到13页，操纵翻页笔的激光晖映到un（α1，β1）=±un（α2，β2），并同步解释：“它不具有，本原素除子。”
林登施特劳斯传授惊呆了，z必须为2，z只能为2不能取1！欧叶的结论是我确认过的，不会错的！
“嗯。”欧叶早有筹办，她切换PPT到39页，这页惹人谛视标重点是方程（11）：（2k+1）^x±（2k（k+1）））^y√-2k（k+1）=±（1±√-2k（k+1））^z
第二个题目一问一答不过一分钟，但旁听的沈奇晓得这个题目绝没有看上去那么简朴。
林登施特劳斯扭头笑了笑，他的眼神奉告沈奇：我们很宽大，因人而异。
“OK，我临时没有题目了。”努曼伯格传授低头记录，应当是在给欧叶打分。
“给定正整数k，无z≥3的正整数解。”欧叶说到。
弗拉蒙特传授为人峻厉，沈奇为欧叶捏了把汗。
3到5分钟的陈述？沈奇有些不测，普通环境下博士研讨生的收场陈述时候在15-20分钟之间。
主辩论官弗拉蒙特传授是一张扑克脸，他不苟谈笑的说到：“欧，这是你的博士研讨生第四学期。”
欧叶点点头：“是的。”
我尽力了两年得来的服从不要被颠覆呀！欧叶急了，神采忽白忽红，她紧握双拳大声辩论：“汉克斯传授，请看我论文的第92页到101页，对于S中的肆意（x，y，z）都存在独一的有理数l满足代数整数环！在方程（22）的两边模2（n+1）得2∣x，再模2n（n+1）+1得4∣x，依此类推，我们必定能够解除z=1的环境，以是z只能取2！”
弗拉蒙特传授：“欧，你的博士论文《耶斯曼诺维奇猜想的证明》，我们三位辩论官已看过，接下来将由你停止3到5分钟的陈述，然后我们会发问。”
欧叶手持翻页笔，切换她博士论文的PPT
三位辩论官并未提出任何贰言，就悄悄的看着欧叶缓慢的刷PPT。
“OK，感谢你的陈述，欧，接下来进入发问环节。”弗拉蒙特传授率先发问，他说到：“你刚才提到了卢卡斯序列，并在论文中定义为un=un（α，β）=α^n-β^n/α-β，此中n为正整数，这个定义没题目，这是前提。那么我要问的是，基于这个定义前提，如何反向求出un（α，β）的本原素除子？”
逻辑上挺绕的，欧叶的答复“给定正整数k，无z≥3的正整数解”属于一锤定音的小结性子，她心中明白这个逻辑，才气用一句话总结由这个逻辑推导出的核心结论。
“这……暴走的小叶子？”沈奇也遭到惊吓，他从未见过欧叶如此冲动，这大抵是欧叶抱病以后一口气说的最长的一段话，有理有占有本相，还挺6的。
汉克斯传授基于瑞安原则计算出z=2或1，这个结论如果建立，将颠覆欧叶的博士论文，耶斯曼诺维奇猜想还是未能被完整证明，欧叶现在做的事情，和耶斯曼诺维奇本人几十年前的证明事情没有本质辨别。
欧叶神态复苏反应活络，她答到：“没法求出。”
欧叶的PPT表达精炼到极致，101页，她5分钟就陈述结束，说话表达气势跟平常近似，只说重点不磨叽。
弗拉蒙特传授这个题目是个圈套啊……沈奇已将欧叶的打印版论文过了一遍，反向求出un（α，β）的本原素除子是个逻辑圈套，因为un（α，β）不具有本原素除子。
制作PPT的要点在于凸起每一页的重点，PPT汇报者在有限时候内须用最精炼的说话表达最激烈的观点。
幸亏这里是普林斯顿，并且三位辩论官事前研讨过欧叶的论文，他们都是闻名数学传授，一叶知秋，辩论人一两句关头辩论词就足以让三位辩论官给出分数。
再由BHV定理可得，不存在z≥3的正整数解（x，y，z），回到前提定义，若使得un（α，β）不具有本原素除子，则n须取5≤n≤30且n≠6。
弗拉蒙特传授诘问：“为甚么？”
努曼伯格传授长着一张圆脸，秃顶，笑眯眯像是个白人版的弥勒佛，他问到：“欧，关于引理1，我并不是太明白你取5≤n≤30且n≠6的根据是甚么？”
让欧叶长篇大论的讲出全套推导逻辑，那她得讲一整天。
这时由汉克斯传授发言：“我来讲几句吧，欧，你证了然不存z≥3，即z要么为1要么为2，你的终究结论是z=2。而我基于瑞安原则计算出z能够取1或2，以是我以为你对耶斯曼诺维奇猜想的证明不建立。”
欧叶俄然发作，三位辩论官吓了一跳，汉克斯传授的笔不慎掉落空中。
“我肯定。”欧叶非常果断。
“上面由努曼伯格传授、汉克斯传授发问。”弗拉蒙特传授不再发问，他低头在辩论记录纸上写写画画。