学符号，堆砌出完整的论证过程了。
十分钟。
二十分钟。
终于半个小时过去了，五张白板几乎被密密麻麻的算式塞满。
就在站在白板前看着的三个人，已经开始感到脖子有些发酸了的时候，陆舟总算是收回了印在白板上的记号笔，活动着胳膊向后退开了半步。
终于将白板上的算式看到了最后，望月新一脸上惊讶的表情渐渐变成了凝重，随后又重新变回到了那难以置信的模样。
差不多是同一时间也看完了白板上的算式，舒尔茨的脸上渐渐浮现了一抹笑容，显然陆舟得出了和他类似的结果。
至于佩雷尔曼教授，脸上的表情依旧没有任何变化，不过眼中却是浮现了一丝若有所思的神色。
“……空间测度的不相容性意味着，最终的不等式并没有比较两个真正该比较的量……”
看着已经完全陷入沉思的望月新一，陆舟轻声继续说道，“但是如果改变了证明，就像我在2.1式中写到的那样，使得空间测度彼此相容。”
舒尔茨笑着说道：“那么，这个不等式又将因此而失去意义。”
陆舟点了下头：“是的，但我建议你不要插嘴比较好。”
耸了耸肩膀，舒尔茨有些无趣的闭上了嘴，看了旁边一言不发的望月新一一眼，便走去一边给自己泡了杯咖啡。
推演进行到了这里，已经没有了悬念。
他承认陆舟分析问题的思路比自己更靠近本质。
甚至于在证伪3.12推论的时候，他的论证过程已经无限接近于将这个推论给证明，并由此推出abc猜想的最终结果了。
然而，最终还是差了那么“一点”。
也正是那一点，将所有的容错率都逼到了一个无法容身的角落，同时也让这五百多页的论文化作了一滩泡影。
目不转睛地看着白板上的算式，望月新一许久没有说话。
看向了陷入沉默的望月教授，陆舟想了一会儿，若有所思地说道。
“远阿贝尔几何的表述有些独特……光是弄懂这些符号代表着什么就花掉了我不少时间。如果没有表达上的误解，这应该就是你在论文中用‘易证得’或者‘显而易见’代替的论证过程吧。”
望月新一点了下头。
“是的。”
陆舟：“那还有什么疑问吗？”
望月摇了摇头。
“没有。”