戴上眼镜，闻言也有些意外。
“五页纸能把一个图论下界说清楚？看看标题。”
“关于某类特定二分图下界的代数重构。”
托马斯照着最上面的一行加粗字体念了出来，念完后，他的视线顺着标题往下移动，落在了正文部分。办公室里安静了下来。
只剩下空调出风口发出的轻微呼呼声。
托马斯的目光在第一页纸上停留了大概两分钟，他的眉头慢慢皱了起来，原本随意靠在椅背上的身体，不自觉地往前倾了倾。他没有翻页，而是把第一页从头到尾又看了一遍。
“阿瑟。”托马斯的声音变了，没有了刚才那种闲聊的轻松，“你得看看这个。”
阿瑟看出老同事神色的变化，放下咖啡杯，伸出手。
托马斯把那五页纸递了过去。
阿瑟接过纸，视线落在上面。
第一段是很常规的引言，用几句话交代了目前这个问题在学术界所面临的困境。
语言非常平实，用的都是最基础的英语词汇，没有任问花哨的从句。
接着往下看，阿瑟的眼神顿住了。
作者没有像传统做法那样去定义各种子图结构，而是直接在第一页的末尾，构造了一个邻接矩阵。“他把图形的连通性”
阿瑟轻声念叨着，目光迅速扫向第二页。
第二页全是排版规整的矩阵推导，作者利用矩阵的特征多项式，将原本需要在几何空间里进行上百次分类讨论的拓扑问题，毫不讲理地强行拉入了一个纯粹的代数空间。
在这里，没有复杂的图形分支。
只有特征根的分布规律。
阿瑟翻页的速度越来越快。
第三页，作者引入了一个很巧妙的特征值不等式放缩。
这个放缩技巧在代数领域很常见，但用在这个特定的图论模型里，就像是刚好卡进锁孔的钥匙，严丝合缝。第四页，计算结束。
第五页，只有短短的半页纸，得出了那个让很多学者头疼不已的下界数值。
右下角，画着一个小小的黑色方块，代表证明完毕。
没有一句多余的废话。
没有一个多余的引理。
阿瑟看完了最后一个符号，把纸放在桌面上，他摘下眼镜，揉了揉眉心，然后重新戴上。
“他直接绕开了组合构造。”
阿瑟看着对面的托马斯，语气里带着一种欣喜的赞叹。