但实际上“E是无穷集的充要条件是L=0”并非伯奇和斯温纳顿-戴尔最初提出这个猜想时的形式，他俩最初所做的假设在数学意义上比这句话更强，也就是所谓的强BSD猜想。

黑板上的这行内容是弱BSD猜想，三个学生心中一凛，叶子姐这是从弱BSD猜想上找到了突破口？

欧叶在弱BSD猜想下方继续写到：

L=c^r+高阶项

孰强孰弱一目了然，当然是下面的这个等式更强，它是强BSD猜想的表达式。

不论是强是弱，数学系的优秀学生并不难理解BSD猜想，难的是证明。

欧叶犹豫了一会儿，最终擦去弱BSD猜想，留下强BSD猜想。

“我们就做这个吧。”欧叶敲了敲黑板。

“叶子姐，做这个是指？”赵天问到。

欧叶：“证明它。”

“证明强BSD猜想？”赵天惊呆了。

欧叶：“是的，我们证明它。”

“叶子姐，我们是指？”小云问到。

欧叶：“你，你，还有你，加上我。”

“叶子姐你玩真的啊！”赵天以为自己听错了。

欧叶倒是纳闷了：“你们仨，难道是玩假的？”

赵天有点语无伦次：“我……我我我……我刚才说了的啊，我们仨研究BSD猜想是闹着玩的！就说我吧，我还研究过P对NP呢，我相信沈教授肯定也研究过这些问题，研究它不代表就一定要证明它呀……我们就是瞅瞅而已，没想过要征服它。”

一直没说话的曾寒忽然开口：“赵师兄已经保研了，我和云师姐平时没啥事，不如跟着叶子姐，学习证明强BSD猜想的技巧。”