“叶子姐你休息吧，我们知道该怎么做了！你睡会儿，我们先走了。”
三位学生小心翼翼的装好欧叶的手稿，这便离开人民医院返回燕大。
数院一楼走廊尽头的小房间，是三位学生的作战室。
三人首先将欧叶的手稿整理为可进行计算机验证的电子数据模式。
这份工作大概需要三人连做三天，每人每天的工作时间不会少于12个小时。
欧叶的思路，三个学生非常清楚了。
欧叶从群论出发，通过对典型的椭圆曲线的秩进行计算证明，得到了一个关于椭圆曲线的秩的假设。
这个假设是否可以成为引理，需要验证。
欧叶采取的手段很传统，从典型例子上推断出典型理论，再把典型理论放到全部例子中，以求证它的普适性。
苹果从树上落下，砸到牛顿的脑袋。牛顿推导出一个理论，苹果受到了地球引力影响。这个理论只是对苹果有效，还是具备普适性？这就是牛顿接下来要做的普适性论证工作，最终他证明了万有引力定律。
牛顿是伟大的人类之光，但他论证伟大理论的手段同样很传统，从简单到复杂，再由复杂回归简单。
在欧叶设定的强bsd猜想的倒数第