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