在欧叶设定的强BSD猜想的倒数第四步中，她完成了从简单到复杂的理论构建，当然了，目前只能算是个假设。

从复杂回归简单，最终证明椭圆曲线的秩的假设具备普适性或有条件限制的普适性，是一件工程量极大的工作。

这份工作将由赵天、小云、曾寒三位学生来完成。

例如，在素数p=5的条件下，椭圆曲线y^2=x^3-x共有七个解，为（0，0）、（1，0）、（4，0）、（2，1）、（3，2）、（3，3）、（2，4）。

这很容易被计算出来，赵天、小云、曾寒三人中的任何一人通过手动计算，10分钟之内可以得出正确的解。

但是椭圆曲线理论上有无穷多条，大凡涉及无穷多的验算工程，人类手动计算是搞不定的，必须依靠计算机。

赵天、小云、曾寒将用三天时间把欧叶的手稿，处理为可被计算机验证的数据。

而基于欧叶的手稿，通过计算机对椭圆曲线进行验证，那就不知道需要多少天了，可能是三天，也可能是三年、三十年。

好在欧叶的硕士导师龚长伟教授对于BSD猜想做出了一个重要的贡献。

龚教授证明了Kolyvagin逆命题的相关定理，并与其他数学家联合证明了，至少有三分之二的椭圆曲线满足BSD猜想。

龚长伟教授等同于帮他的弟子欧叶排除了许多验算条件，所以欧叶的三个学生只需验证满足Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate群阶数的椭圆曲线即可。

三个学生中最年长的赵天关切询问他的师弟师妹：“马上就要放暑假了，你俩回家的票买了吗？”

小云摇摇头：“反正我爸妈也不在家，我回去了也是无人喂养的单身狗，所以我决定，这个暑假留在首都勤工俭学。”

“小云，你爸妈去哪里了？”赵天问到。

小云一边整理欧叶的手稿一边说：“我妈去德国做访问学者，我爸去非洲帮助非洲朋友建设基础设施，我要到明年春节才能见到爹妈。”

赵天知道，小云学妹的母亲博士毕业于复旦，现任华东师范的教授。小云学妹的父亲硕士毕业于水木大学，现任中建八局工程师。

小云学妹读高中时能保送燕大数院，这不是她聪明不聪明的问题，而是基因遗传。

“也好，也好，小云你暑假不回家，有啥需要尽管跟哥说。”赵天是帝都土著居民，籍贯密云不老屯镇半城子村。

既然是帝都居民，又是学长，赵天认为他理应关照小云学妹。

小云点点头道：“谢谢哥，咱抓紧处理数据吧。”