睡去的地方，提笔继续写道。
【……显见，我们有px（1，1）≥p（x，x^{1/16}）-（1/2）∑px（x，p，x）-q/2-x^(log4)……（30）】
【……由式（30）、引理8、引理9、引理10，可证明定理1成立。】
所谓的定理1，便是他在论文中，定义的哥德巴赫猜想的数学表述。
即，给定一个充分大的偶数n，存在素数p1和p2，满足n=p1+p2。
与之类似的便是陈氏定理n=p1+p2·p3，以及一系列关于p（a，b）的定理。
当然了，虽然现在在他的论文中，这条公式被称为定理1，但也许要不了多久，等数学界普遍接受了他的证明过程，这条定理兴许便会升级为“陆式定理”之类的东西。
不过，这种重大的数学猜想审稿周期一般会比较长。
佩雷尔曼证明庞加莱猜想的论文用了三年才被数学界认可，望月新一关于abc猜想的证明因为掺杂了大量的“神 秘术语”，审稿门槛至少也得先读懂他的“宇宙纪理论”才算是入门，所以直到现在也没有人看完，预计未来也很困难。
一个重大猜想的审稿速度，