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