顧明澈拎著三隻涼包子回到辦公室時，授課老師正把第一攻擊包裡的頁碼全部遮住。
列印稿上只留下定理陳述、允許使用的外部結果清單，以及一張空白依賴圖。
電話己經接通，對面那位周教授研究類域塔與非交換巖澤理論，半小時前收到的完整檔案此刻被他放進了只讀目錄。
“我先把規矩說清楚。”
周教授翻到攻擊包首頁。
“作者寫出來的六隻能當待驗結論，不能當我的計算起點。”
“你準備從哪裡起？”
授課老師問。
“從最大pro-2擴張的定義、Shafarevich關係界和你們選定的分裂集合起。”
紙頁在電話另一端翻了一次。
“江臨可以告訴我原始文獻放在哪個資料夾，不能告訴我下一步該代哪個數。”
江臨把離線文獻索引、版本雜湊和六份外部定理原文的位置發過去。
周教授收到材料以後，關閉了與作者的即時問答視窗。
顧明澈把包子放到白板槽下面。
“那我負責什麼？”
“定義表、符號表、引用路徑。”
授課老師遞給他一份新登記頁。
“任何一個記號需要江臨解釋，先記為復現失敗，別替讀者猜。”
“我這份工作總算從檢查頁碼升級到了阻止數學家問作者。”
“待遇不變。”
顧明澈在職責欄簽下自己的名字，又給第一項問題換了編號。
【Q-001：從原始關係界獨立重算d(G)與r(G)，核驗全部有限素位、實無限位及101完全分裂條件。】
這項問題正對著整份證明最窄的地方。
江臨在廢土裡用六個允許分歧素數得到五個獨立生成元，再把關係秩壓在六以內，Golod—Shafarevich門檻則是二十五除以西。
餘量只有西分之一。
任何一項區域性條件多付一條關係，塔的無限性便無法由現有證明推出。
周教授第一步拆掉了江臨排好的三行數字。
T中的六個素數被重新寫成區域性Kummer類，彼此之間的乘積關係單列，實無限位和101也各佔一欄。
。商等初算計新重基組一另用授教周，存封時暫陣矩inittarF的稿原
。陣矩階五張一第回發他，分二十西點三午下
。元主個五下留仍後以元消，同不臨江與序順列行的陣矩
】5＝)G(d【
。過分部元生記標只，100-Q進寫果結把師老課授
。上餡回經己脂油的涼，包醬隻一起拿澈明顧
”？遠多有還六個二第離距，了來出五個一第“
”。算條度進按能不界係關“
。掉六的來原上板白把臨江
”？著留五把麼什為你那“
”。來出算基套一另由經己它“
。化消同共學數給留別區種這把定決，子包口一了咬澈明顧
。上晚到拖首一算重的秩係關
。圍範窄的用使理定原到原還件條裂分實將又，界上進送項逐係關域區的獻貢能可歧分許允個每把授教周
。長最間時的花欄一那的在所101
。控失起一層塔著跟會然當數係關，輸立獨當新重都位素層高個每把若，位素的方上它於位多越來越現出會層限有續後，後以合集裂分加101數素理有把稿原
。係關批一同增新複重層一每在求要不並，果結的後掉商被包閉個這是裂分部全層高，包閉的群解分層底是的束約義定的塔可
。遍一了寫新重道軌軛共整完把然仍授教周
。群子inittarF在落它認確，像的中商等初大最在suineborF的101對核又，模係關的生道軌查檢用作群沿他
。元生個五的到得經己掉削不卻，算預係關加增件條裂分項這
。室公辦進打新重話電，分三十點十上晚
”。頁一十了開展模道軌把我，短太得寫’係關條一獻貢101‘句那裡案檔者作“
。湊雜的案檔新出報授教周
”。費收複重數位素層高按件條包閉個一同層底把是不，係關立獨條一是還後以開展“
”？呢位限無實“：問師老課授
”。遍兩算有沒也，有沒，界上hciverafahS進經己“
”？多是r以所“
”。六過超不)G(r到得前目我“
。去回了寫新重字數的掉被上板白把師老
】5＝)G(d【
】6≤)G(r【
】52.6＝4／2)G(d【
。前式等不格嚴條一同到走仍後最，同不臨江與都式方開展件條域區和基、序順算重的授教周
。過整完簽面後100-Q在絕拒他
”。線路條一了完只我“
”？做誰由條二第“
”。開展頁一十的我到不看時暫，數引的們你到看能只他，人的塔域類裂分限做位一另給轉輸始原和述陳理定把經己我“
”？久多要需“
”。完算候時麼什，完算候時麼什他“
。句一了補又前以話電話通束結授教周
”。量重部全了擔承實確界係關的面前，的來起撐五二點六示顯算計靠是不至子稿份這臨江“
。隻兩了掉吃子包隻三那裡室公辦
。據證的活生常正有擁然仍天今己自作當去回帶備準，袋紙進放澈明顧被隻三第
