第四百四十三章
研究所办公室。
虽然已经是凌晨四点多钟，但办公室内，仍旧是一片灯火通明。
办公桌前，顾律扭头望向西蒙，“你那边还差多少？”
西蒙低头在草稿纸上写写算算，头也不抬的回答顾律，“马上，马上就可以了！”
几分钟后。
西蒙将一张誊写着几行公式定理的a4纸递给顾律。
“这是我按照你的要求，推导出的五个引理，接下来，就全靠你了！”
顾律接过西蒙递过a4纸，脸上勾勒出一抹淡笑，“放心，一切交给我就好！”
顾律从电脑中调出一份文档。
里面涵盖了课题前四阶段整理出的所有公式引理。
加上西蒙刚刚推导出的这四个。
总共是三十多个引理。
而顾律接下里的工作，就是利用这三十多个公式引理，通过推导和结合，证明狭义霍奇猜想成立！
这同样是整个课题研究工作的最后一步！
一旦成功，便意味着狭义霍奇猜想，这个存在于代数几何领域将近百年的重大猜想，被顾律和西蒙成功攻克！
历时六个月，顾律和西蒙终于迎来了这一步。
这最后一环节的推导证明工作不出意外的将会由顾律完成。
而西蒙则负责在一旁给顾律提供各种公式和数据。
顾律搓搓手，眼神中的光芒炽热。
顾律将桌边一瓶添加了爆肝药剂的肾宝一口饮尽。
“我开干了！”
顾律给自己加油打气。
最后这一步，可以说是整个狭义霍奇猜想证明工作中最困难的一个环节。
一旦失败。
意味着前面的许多工作需要从头来过。
而这样一来一回，耽误的时间是难以估量的。
因此，顾律失败不起。
顾律将三十多个公式引理一一列在纸上。
接着，按照早就推演出的过程一步步进行推导。
整个推导过程很复杂。
顾律有爆肝药剂的加持，应对起来不至于太过于吃力，但一点都说不上轻松。
整个过程需要非常清晰的推导思路，其中一旦有任何一个步骤稍稍出错，得出的结果都会千差地别。
这是一个容错率几乎为零的推理。
滴答~滴答~！
时间就这样一点点流逝。
草稿纸被顾律用完一张又一张。
但整个推导过程的进度堪称缓慢。
一个小时后。
顾律甩甩手中的碳素笔，发现里面的笔芯里的墨水已经用尽。
而一旁。
草稿纸已经堆了有二三十张。
“帮我拿支笔。”顾律一边甩着有着酸胀的手腕，一边开口对西蒙说道。
而这时，刚才一直在旁边保持沉默，生怕打扰到顾律的西蒙才开口问道，“进展怎么样？”
“不怎么太乐观。”顾律苦笑的耸耸肩，“这是块硬骨头！”
“不过……”顾律话语一转，“我也不是吃素的！再硬的骨头，在铁齿铜牙之下，也不会坚持太久时间！”
顾律的信心还是蛮大的。
虽然最后这一步注定走的相当简单，不过既然脚已经抬起来了，那一定会有落在地面的那一刻。
无非……是多费点时间而已。
为了应对这一场面，顾律早就准备了五瓶爆肝药剂当做备用！
西蒙递给顾律一支新的碳素笔。