“哦，优秀。”欧叶担任指导老师的这个社团虽然社员不多，但个个社员都是学生中的精英呢。

简单聊了几句，欧叶又不说话了，她专注于黑板上的数学符号。

一个老师，三个学生，就这么静静的看着一块黑板。

许久，欧叶站了起来，她擦掉黑板上的粉笔字，只留下孤独的一行字：e（q）是无穷集的充要条件是l（e，1）=0。

证明了这句话，即证明了bsd猜想。

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

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

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

l（e，s）=c（s-1）r+高阶项

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

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

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

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

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

欧叶：“证明它。”

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