顾明澈拎着三只凉包子回到办公室时，授课老师正把第一攻击包里的页码全部遮住。

打印稿上只留下定理陈述、允许使用的外部结果清单，以及一张空白依赖图。

电话已经接通，对面那位周教授研究类域塔与非交换岩泽理论，半小时前收到的完整文件此刻被他放进了只读目录。

“我先把规矩说清楚。”

周教授翻到攻击包首页。

“作者写出来的六只能当待验结论，不能当我的计算起点。”

“你准备从哪里起？”

授课老师问。

“从最大pro-2扩张的定义、Shafarevich关系界和你们选定的分裂集合起。”

纸页在电话另一端翻了一次。

“江临可以告诉我原始文献放在哪个文件夹，不能告诉我下一步该代哪个数。”

江临把离线文献索引、版本哈希和六份外部定理原文的位置发过去。

周教授收到材料以后，关闭了与作者的即时问答窗口。

顾明澈把包子放到白板槽下面。

“那我负责什么？”

“定义表、符号表、引用路径。”

授课老师递给他一份新登记页。

“任何一个记号需要江临解释，先记为复现失败，别替读者猜。”

“我这份工作总算从检查页码升级到了阻止数学家问作者。”

“待遇不变。”

顾明澈在职责栏签下自己的名字，又给第一项问题换了编号。

【q-001：从原始关系界独立重算d(G)与r(G)，核验全部有限素位、实无限位及101完全分裂条件。】

这项问题正对着整份证明最窄的地方。

江临在废土里用六个允许分歧素数得到五个独立生成元，再把关系秩压在六以内，Golod—Shafarevich门槛则是二十五除以四。

余量只有四分之一。

任何一项局部条件多付一条关系，塔的无限性便无法由现有证明推出。

周教授第一步拆掉了江临排好的三行数字。

t中的六个素数被重新写成局部Kummer类，彼此之间的乘积关系单列，实无限位和101也各占一栏。

原稿的Frattini矩阵暂时封存，周教授用另一组基重新计算初等商。

下午三点四十二分，他发回第一张五阶矩阵。

矩阵的行列顺序与江临不同，消元以后仍留下五个主元。

【d(G)＝5】

授课老师把结果写进q-001，只标记生成元部分通过。

顾明澈拿起一只酱肉包，凉透的油脂已经贴回馅上。

“第一个五出来了，距离第二个六还有多远？”

“关系界不能按进度条算。”
本章未完，请翻下一页继续阅读.........