赵天干笑两声：“嘿嘿，研究着玩儿。”
“那我们一起研究。”欧叶走到黑板前，仔细观察黑板上的推演式子。
“叶子姐坐。”曾寒拉把椅子搁在欧叶身后。
“嗯。”欧叶坐下。
“叶子姐喝水。”小云倒了杯热水递给欧叶。
“谢谢。”欧叶接过水杯也不喝，只是暖手。
滴答滴答，时间流逝。
欧叶不说话，三个学生静默无声。
这或许就是他们的研究方式。
良久，欧叶问了句：“小赵保研到我们数院了是吗？”
赵天连连点头：“是啊是啊，我很想选叶子姐做我的硕士导师，可叶子姐你最近不带学生，所以我只能选刘教授。”
“哦，刘教授是个好老师，他在群论方面很有一套。”欧叶说到，她转而询问另外两人：“你俩绩点多少？”
曾寒、小云异口同声：“4.0。”
“哦，优秀。”欧叶担任指导老师的这个社团虽然社员不多，但个个社员都是学生中的精英呢。
简单聊了几句，欧叶又不说话了，她专注于黑板上的数学符号。
一个老师，三个学生，就这么静静的看着一块黑板。
许久，欧叶站了起来，她擦掉黑板上的粉笔字，只留下孤独的一行字：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猜想。
“我们就做这个吧。”欧叶敲了敲黑板。
“叶子姐，做这个是指？”赵天问到。
欧叶：“证明它。”
“证明强
…。。