罗格斯大学数学系的办公大楼里，冷气开得很足，走廊上铺着厚厚的地毯，吸走了来往人员的脚步声，显得十分安静。阿瑟教授坐在自己的办公室里，手里端着一杯已经放凉的咖啡。
他的办公桌上堆着高高低低好几摞打印出来的稿件，有些边角已经卷了起来。
作为《离散数学》的资深编委，他每个月都要审阅大量的投稿。
计算机屏幕的荧光打在他的眼镜片上，他揉了揉有些发酸的眼角，把手里那份长达四十页的图论手稿扔回了桌面上。“又是这种毫无新意的分类穷举。”
阿瑟靠在转椅上，低声抱怨了一句。
刚才那篇论文的作者为了证明一个局部连通性的下界，硬生生枚举了七十多种子图结构，证明过程没有错，但读起来就象是看着一个人用指甲剪去修剪一整片高尔夫球场的草坪。
办公室的门没关严，留着一条缝。
隔壁办公室的托马斯端着一个印着校徽的马克杯推门走进来，他是个瘦高的中年人。
“还在看图论那一堆稿子？”
托马斯拉开阿瑟对面的一张椅子坐下，顺手翻了翻桌上那一摞厚厚的纸。
“我刚才在走廊就听见你在叹气，这个季度的质量不行？”
“不仅是不行，是太笨重了。”
阿瑟喝了一口冷咖啡，苦笑着摇摇头。
“现在的年轻学者似乎陷入了一个怪圈，他们有一台好计算机，就觉得可以用穷举法解决所有问题，满篇都是复杂的条件分支，毫无数学的美感可言。”托马斯笑了笑，没有反驳，他伸手从阿瑟桌角的未读邮件筐里拿出一个信封。
信封上贴着几张中国邮政的航空邮票，邮戮上的日期是半个月前。
“华国寄来的？”
托马斯看了一眼发件地址。
“华国科技大学，你要是不想看，我帮你拆了看看？”
“拆吧，我正好让眼睛休息两分钟。”
阿瑟摘下眼镜，用一块绒布慢慢擦拭着。
托马斯随手拿起桌上的裁纸刀，划开信封的封口。
里面没有厚厚的一遝纸。
他抽出来的，只有薄薄的五页a4纸，排版用的是很基础的英文文档格式，连页眉都没有，干净得有些简陋。“只有五页？”
托马斯愣了一下。
在如今动辄几十页的图论论文里，五页纸的篇幅实在太短了，短到象是一份还没写完的开题报告。阿瑟戴上眼镜，闻言也有些意外。
“五页纸能把一个图论下界说清楚？看看标题。”
“关于某类特定二分图下界的代数重构。”
托马斯照着最上面的一行加粗字体念了出来，念完后，他的视线顺着标题往下移动，落在了正文部分。办公室里安静了下来。
只剩下空调出风口发出的轻微呼呼声。
托马斯的目光在第一页纸上停留了大概两分钟，他的眉头慢慢皱了起来，原本随意靠在椅背上的身体，不自觉地往前倾了倾。他没有翻页，而是把第一页从头到尾又看了一遍。
“阿瑟。”托马斯的声音变了，没有了刚才那种闲聊的轻松，“你得看看这个。”
阿瑟看出老同事神色的变化，放下咖啡杯，伸出手。
托马斯把那五页纸递了过去。
阿瑟接过纸，视线落在上面。
第一段是很常规的引言，用几句话交代了目前这个问题在学术界所面临的困境。
语言非常平实，用的都是最基础的英语词汇，没有任问花哨的从句。
接着往下看，阿瑟的眼神顿住了。
作者没有象传统做法那样去定义各种子图结构，而是直接在第一页的末尾，构造了一个邻接矩阵。“他把图形的连通性”
阿瑟轻声念叨着，目光迅速扫向第二页。
第二页全是排版规整的矩阵推导，作者利用矩阵的特征多项式，将原本需要在几何空间里进行上百次分类讨论的拓扑问题，毫不讲理地强行拉入了一个纯粹的代数空间。
在这里，没有复杂的图形分支。
只有特征根的分布规律。
阿瑟翻页的速度越来越快。
第三页，作者引入了一个很巧妙的特征值不等式放缩。
这个放缩技巧在代数领域很常见，但用在这个特定的图论模型里，就象是刚好卡进锁孔的钥匙，严丝合缝。第四页，计算结束。
第五页，只有短短的半页纸，得出了那个让很多学者头疼不已的下界数值。
右下角，画着一个小小的黑色方块，代表证明完毕。