拿尺子去量平凡呈示讀數是甲，去量平衡呈示讀數是乙。
甲，不等於乙。
所以從那天起，他們剩下的活就只有一件了。
那就是把所有的一切，從十一萬條恆等式，到平凡性的推導，再到那兩次取值的每一個符號，重新裝進一份端到端的形式化證書裡，然後讓一個獨立的小核驗器，從頭到尾地重放一遍。
一個憋了六十年的猜想，要靠這份證書判生死，那它就必須經得起全世界的重放。
今天就是重放的最後一天。
幕布上的進度條已經來到了百分之九十九。
彭羅斯已經坐不住了，他站起來來回的走了兩圈又坐了回去，端起水杯才發現早就沒水了。
“東，你就一點都不緊張？”
“緊張什麼。”
“它又不會錯。”
“會錯的，只有我們餵給它的題，而這道題，是莎拉出的。”
“你是不相信莎拉嗎？”
聽見李東這麼說，彭羅斯轉頭看了一眼自己的學生。
莎拉坐在筆記本前面，從早上到現在幾乎就沒換過姿勢。
滴的一聲。
幕布上的進度條走到了盡頭。
【全部核驗透過。】
【十一萬零四百一十六條恆等式，逐條重放，無誤。】
【那個平凡群呈示平凡性確認——它們不一樣。】
李東放下杯子，站起身活動了下身體，緩緩的說道。
“沒問題了。”
研討室裡，突然就安靜了下來。
六十年的懸案，倒下的這一刻，這裡卻沒有任何的歡呼和掌聲。
莎拉轉身，肩膀一抽一抽的。
彭羅斯走了過去，在她的肩上輕輕拍了拍。
“莎拉，”彭羅斯的聲音裡帶著喜悅，“恭喜你。”
莎拉這才回過頭來，眼裡全是淚，聲音顫抖得不成樣子。
”。師老，您謝謝“
。道說地真真認認，東李向轉又，子鼻吸了吸
”。授教東李，您謝謝“
”。的著找己自你是也門，的砌你是牆面三，的你是路思“，道笑手擺了擺東李”。麼什幹我謝“
”。力苦的錯算會不個是只，嘛央未“
”。置位個留力苦給得記，候時的文論寫，了對“
。頭點了點力用，笑為涕破拉莎
……
。了沒就早度熱的它，了月個一近將了過經已出釋央未離距
。了眾小太在實向方個這學數竟畢
。誤錯式格個一你回會只它，句一暄寒它跟你，人哄不，天聊人陪會不又央未
。圈了不出定註，西東的樣這
。花水麼什起不激也，句一誇裡壇論小在了完用，者學的傳經見不名些是都且而，它用在的真人撥小一有只也裡圈學數
。開傳沒卻聲名，好很碑口的央未以所
。話句一剩就它，裡人數多大在
”？事麼什我管那，啊很學數跑型模個了出大燕說你，哦“
。了麼什用續繼就，的麼什用該，完說
