……
证明还在继续。
：
林叶推导的步骤并不快，或者说还稍微有些慢，至少是比起之前他在报告过程中的演示要慢上不少。
随着粉笔每次起落，敲击在黑板上发出的“哒哒”声，时间也仿佛被拉长了。
虽然黑板上只剩下了一半的空白，但是对于10米长，上下估计也有七八米宽，分成四个可移动的区域的大黑板来说，即使是一半的空白，也已经足够多了。
于是乎，直到他的推导已经填满了这半边空白的一半之后。
他再次在黑板上写下了一行无比复杂的式子。
【lm_(→0)p(1/^(1-?))∫_(B_(0))|?|2≤?_(A)(M_l)】
随着这一行式子写出来的瞬间，就像是一道闪电划破了迷雾。
前排的大师席上，原本还在苦苦思索林叶现在这个“小推论”和N方程全局正则性两者联系的陶哲轩，瞳孔猛地收缩到了针尖大小。
作为当今数学界涉猎最广的全才，他对林叶半年前那篇关于N方程有条件正则性的论文烂熟于心。
他记清清楚楚，那个【有条件】中所谓的【条件】，就是要求流体内部异点的豪斯多夫维数必须受到某个几何量的严格控制。
而现在……
林叶黑板上刚刚写下的这个包含算术辛容量的不等式，它的右边，那个原本模糊的界限，正在被一个精确的常数所替代。
“等一下……”
陶哲轩的声音因为极度的震惊而变有些干涩，他猛地转头看向身边的法尔廷斯，“格尔德，你看那个尾项！那个结构……是不是和他当初那篇论文里留下的稀疏性条件完全互补？！”
法尔廷斯闻言，眯起眼睛死死盯着那个公式，几秒钟后，这位德国老人的呼吸也变急促起来。
“没错……不仅是互补。”
法尔廷斯的声音低沉可怕，“他是把那个空缺的条件，用这个新理论给填上了！”
“上帝啊……”德利涅也看出来了，他看着台上那个背影，眼神中充满了一种无法言喻的复杂情绪，“这哪里是什么数学游戏？他这是在收网！他在收这半年以来布下的那个漫天大网！”
此刻，林叶这半年里，在算术几何这个领域上搞出来的一系列成果，终于在这个时候露出了藏在其中的那把匕首。
他，没有忘记那个最初的目标。
在众人看来南辕北辙的操作，林叶显然一直都很清楚，他在做什么，以及他要做什么。
他非常清楚，这些东西之间存在的隐秘联系又是什么！
这一刻，几位大师的心中同时升起了一种近乎荒谬的感觉。
对于全世界的数学家来说，数学就像是一位戴着厚重面纱，甚至还穿着几层防弹衣的女神。
他们穷尽毕生精力，又是用数论这把刀，又是用代数几何这把剑，拼了老命也只能勉强掀起女神面纱的一角，窥见一丝真容。
：
但是，在林叶手里……
这位高冷的数学女神，简直就像是在他面前主动宽衣解带，甚至还在搔首弄姿！
他想看哪里，女神就把哪里展示给他看！
这种天赋，这种将风马牛不相及的领域随意拼接，随意融合的能力，简直让这些站在金字塔尖的人都感到了一丝……嫉妒。
而此时此刻，台上的林叶并不知道下面大佬们的内心戏。
他的眼中，只有面前的黑板，以及那个即将闭合的逻辑圆环。
没错。
他现在要做的，就是那个被无数人认为不可能完成的任务——彻底证明纳维-斯托克斯方程的无条件全局正则性。
其实早在当初，在他完成邦别里-朗猜想弱形式证明的那一刻，那条通往N方程终极殿堂的路，就已经在他的脑海中彻底贯通了。
后面该如何分析，如何将它们联系起来，如何完成最后的推导，他全部都一清二楚。
对他来说，这就像是探囊取物一般简单。
只不过在此之前，他从来没有在任何草稿纸或黑板上，对这个最后的过程进行推导。
也就是说，现在，就是他第一次在现实世界中演示，如何将邦别里-朗猜想的结论，和N方程的全局正则性联系起来。
当然，更严谨点来说，是如何和他当初证明的那个有条件的全局正则性联系起来，然后将其中的【条件】给弥补，让其真正的【无条件】起来。
这也是为什么他的推导速度会比较慢。
“纳维-斯托克斯方程啊……”
林叶在心中默念着这个名字。
这是最初吸引他踏入数学的源动力，是他一切研究的起点。
为了解决它，他从偏微分方程入手，跨越了分析、代数、几何，甚至不惜创造了一套全新的理论体系，沟通了辛几何和数论，提出了算术-辛对应猜想。
真的是，绕了好大一圈啊。
