趙天干笑兩聲：“嘿嘿，研究著玩兒。”
“那我們一起研究。”歐葉走到黑板前，仔細觀察黑板上的推演式子。
“葉子姐坐。”曾寒拉把椅子擱在歐葉身后。
“嗯。”歐葉坐下。
“葉子姐喝水。”小云倒了杯熱水遞給歐葉。
“謝謝。”歐葉接過水杯也不喝，只是暖手。
滴答滴答，時間流逝。
歐葉不說話，三個學生靜默無聲。
這或許就是他們的研究方式。
良久，歐葉問了句：“小趙保研到我們數院了是嗎？”
趙天連連點頭：“是啊是啊，我很想選葉子姐做我的碩士導師，可葉子姐你最近不帶學生，所以我只能選劉教授。”
“哦，劉教授是個好老師，他在群論方面很有一套。”歐葉說到，她轉而詢問另外兩人：“你倆績點多少？”
曾寒、小云異口同聲：“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猜想。
“我們就做這個吧。”歐葉敲了敲黑板。
“葉子姐，做這個是指？”趙天問到。
歐葉：“證明它。”
“證明強BSD猜想？”趙天驚呆了。
歐葉：“是的，我們證明它。”
“葉子姐，我們是指？”小云問到。
歐葉：“你，你，還有你，加上我。”
“葉子姐你玩真的啊！”趙天以為自己聽錯了。
歐葉倒是納悶了：“你們仨，難道是玩假的？”