“好，逐层扭曲时，记得先扭a再扭，否则可能会出挠元。”
“谱序列积分我算完了，你再验证一下有没有错误。”
花了一整天的时间，两人便完成了框架的搭建和核心验证的工作。
接下来，只要再完成最终的收尾验证，所有的问题就可以都得到解决了。
而这最终的收尾验证工作也是比较繁琐的，他们必须要逐条验证Brué猜想要求的所有条件。
如果有其中的一条无法满足，那他们之前所做的工作又将前功尽弃了。
休息了一个晚上之后，他们先列出了一张验证清单，随后逐条开始了验证。
“复形所有项都是有限生成透射模，满足。”
“复形自对偶性，满足。”
“张量积诱导三角范畴的正合函子，满足……”
随着一项一项条件被成功的验证，董易的手都因为过于的紧张和激动，变得有些颤抖了起来。
因为每完成一项验证，就代表他距离完成研究又进了一步，按时毕业的希望就多了一分。
终于，在他们的不断努力之下，只剩下最后一条性质没有验证了。
“p进拓扑下紧致性……满足！”
在这最后一条性质上打了个√，董易重重的吐出了一口气，闭上双眼靠在椅背上。
