笔尖落下最后一个符号，韩川长舒一口气，嘴角扬起了畅快的笑容。
「搞定！」
「人生中的第一篇论文，总算是熬出来了！」
看着稿纸上的算式和推导，韩川迫不及待地呼唤了一下苏步青先生的书灵。
「苏老！苏老！快出来，我证出来了！」
《初等微分几何》的教材上，苏老先生的字迹浮现了出来，笔锋之间带着不加掩饰的赞许。
「利用对偶空间本身自带的结构，将自反性替换为可分性和弱紧性，
「你绕过了自反性这个门槛，用定理和定理的组合集合函数本身满足的可控性，在更一般的框架下证明了控制列的存在性。」
「这一步，比我构思和预想的好！」
图书馆中，韩川盯着《初等微分》上的这行字，嘴角的弧度怎么也压不下去。
就在两个半月前，他还是一个面临八门学科需要补考，即将被辞退的大一学生。
而现在，他已经能够独立自主地解决一个系统性的学术难题了。
这种感觉，说激动，兴奋，高兴，这些肯定是有的。
但真要说，韩川觉得这更像是一种踏实？
就像是挑战自己的极限，在冲过终点线之后，弯着腰大口喘气的同时，擡头看了一眼自己跑过的路。
累，但是充满了成就、满足、自豪。
这些感觉带来的愉悦或许没有玩游戏击杀敌人时来得猛烈，但它不消退。
它不像游戏胜利后的兴奋那样来得快去得也快，打完一场副本之后只剩下空虚和疲倦。
靠在椅背上，韩川整理了一下桌上杂乱的稿纸，咧着嘴满脸笑容地重新看了一遍。
上面密密麻麻写满了推导过程，有被划掉的错误尝试，也有一写到底的流畅推导。
这篇论文摆在这里，他写出来的每一个定理、每一条证明、每一个从定义到结论的逻辑链条，都是真的。
不会因为关掉电脑就消失，不会因为服务器维护就归零。
它们是他大脑里的东西，是他亲手搭建起来的一座房子，每一块砖都是自己一点点砌上去的。
「对了，苏老。」
似乎是想起了什么，韩川看向《初等微分几何》教材，好奇地问道：「您刚刚说，我的证明过程，比你构思和预想的还要好？」
教材上，苏步青的字迹浮现：「嗯，在你研究这个问题的时候，我也尝试了一下。」
「不过我用的方法和你用的方法不同，后面两步要更复杂一点。」
听到这话，韩川眼前一亮，迅速追问道：「苏老，后面两步你怎么解决的？用的什么方法？」
如果说苏步青的解法和他不同，这意味着同一个问题有两个完全不同的数学路径可以抵达。
这种跨分支的对比，正是他现在最感兴趣的东西。
教材上，苏步青的字迹在教材上缓缓浮现，笔锋依旧瘦硬工整：「你还记得Frenet标架在曲率零点会退化的问题吗？
韩川点点头，道：「当然。」
这个问题困扰了他好长一段时间，最后用Hahn-Banach定理的对偶基替换了正交分解，绕开了光滑性要求才解决的。」
苏步青笑着道：「我的解决方法恰恰和你相反，我把函数空间本身当作一个『弯曲的流形』，把函数列的收敛轨迹看作这个流形上的一条曲线。」
「非自反Banach空间在这种视角下对应的是『有奇点』的流形，处理这种流形的标准方法是引入Cartan的活动标架.....」