“霍奇影院的讨论对象，主要包括了两类。”
“‘类etale对象’和‘类Frobenius对象’。”
“粗略地说，前者，我们通常表示为D，由抽象拓扑群π1(X)给出，被认为是一个内自同构的群，同样的，正如在IUTT理论中所讲述的那样，我们可以考虑抽象的伽罗瓦范畴的有限etale覆盖，而不需要选择基点。”
“……”
萧易的讲述开始。
他的语调缓慢，但却有力。
似乎很有自信一样，对于自己所说出来的东西，即使放慢速度，任由在场这么多的数学学者们仔细思考，也完全不担心会被发现其中存在的错误。
在场的人们也都跟随着他缓慢的讲述，认真地分析了起来。
尽管不是怎么相信萧易的想法会成为终结这场辩论的定论，但不管如何，舒尔茨允许了他继续说下去，而望月新一也没有直接指出他的错误，相反，从他的神情上看过去，似乎还出奇地有种被难住了的感觉。
再加上这个年轻人缓慢讲述时的那种自信……
说不定，真的会有奇迹发生了？
当然，在他们的眼中，萧易缓慢讲述是因为自信，但实际上是因为这是他第一次进行英语演讲，而且还是数学专业的英语演讲，因此才放慢速度，让自己不至于说错。
不过，对于自己这个想法的自信，他还是有的。
实际上，在听完舒尔茨和望月新一在第五个问题之后，他就发现了不对劲。
他们的争辩，使用了他在《非奇点解析和绝对远阿贝尔猜想》中的思想。
所以，他不仅能够听懂，而且还能够明白他们是怎么得出相应结论的。
尽管受限于他并没有看完望月新一的IUTT论文，毕竟六百多页，就那么一个月不到的时间，再加上其中的晦涩难懂，他也仅仅只是把里面涉及到远阿贝尔几何的内容看完了，毕竟他本身就熟悉远阿贝尔几何。
而针对其他的内容，了解的就并没有那么透彻了。
但终究，即使不透彻，但却也让他熟悉了这些理论。
所以，当望月新一指出“霍奇影院是抽象地来自固定的一次删截椭圆曲线X的数据”时，他就意识到了问题所在。
“假设Cp，g是p-adic域K上亏格为g的双曲代数曲线。那么Cp，g的K-自同构群自然同构于它的geometricetale基本群Γ=π1^et，geo(Cp，g)的连续自同构群。”
“该定理，即是望月教授于1999年在远阿贝尔几何上所证明的一大重要定理。”
“再参考之前的内容……”
说到这，萧易忽然顿了片刻，征询道：“或许我可以使用一下黑板吗？”
“啊？”
舒尔茨一时间没反应过来，听清楚萧易的话后，他便迅速地说道：“当然，完全可以，这個房子里面，谁拿着话筒，谁就可以使用黑板。”
“谢谢！”
萧易点头，走到了黑板前。
总算可以用黑板了，前面的那些理论倒是可以口述，但接下来的内容就实在需要用数学式子来进行解释了。
他找了片空白，开始写了起来。
【|X|=(lim←Z|G(Z)|)/πalg1(X)】
【……】
一拿到黑板的他，仿佛也回归到了熟悉的环境中，三两下，便将黑板上剩下的那些空白区域给写完了。