从群构法的时候，这位来自英国的小伙便已经放弃治疗，开始默默等待最终的结果。

现在听导师的说法，大概是证出来了？

想到这里，埃文不由一脸尴尬。

就在几天前，他还拿着导师在个人博客上的那篇博文，和论坛上的人杠这件事儿，并且信誓旦旦的扬言这场报告会，最终会变成一场笑话。

结果现在看来，脸疼的还是自己……

坐在报告厅的另一边，一直坐在那里没有动过的赫尔夫戈特，合上了手中的便签本，脸上浮现了一丝赞许。

在来之前，他已经将陆舟的论文看了至少十遍，对于其中存在的问题，他都逐一写在了便签本上，准备等到提问环节询问。

不过现在看来，这小本本大概是派不上用场了。

那些他认为存在问题的地方，都已经得到了令他满意的回答。

不只是赫尔夫戈特得到了他想要的答案，站在讲台上的陆舟，也得到了他想要的东西。

从那一双双视线中，他感受到了来自同行们的肯定。

终于，他走到了最后一步。

【……显见，我们有x（1，1）≥（x，x{116}）-（12）∑x（x，，x）-q2-x(log4)……（30）】

【……由式（30）、引理8、引理9、引理10，可证明定理1成立。】

【证明完毕。】

t定格在最后一页，报告厅内的寂静，也定格在了最后一秒。

这份庄重的寂静，一直持续到陆舟开口。