<!go>

趙天干笑兩聲：「嘿嘿，研究著玩兒。」

「那我們一起研究。」歐葉走到黑板前，仔細觀察黑板上的推演式子。

「葉子姐坐。」曾寒拉把椅子擱在歐葉身後。

「嗯。」歐葉坐下。

「葉子姐喝水。」小雲倒了杯熱水遞給歐葉。

「謝謝。」歐葉接過水杯也不喝，只是暖手。

滴答滴答，時間流逝。

歐葉不說話，三個學生靜默無聲。

這或許就是他們的研究方式。

良久，歐葉問了句：「小趙保研到我們數院了是嗎」

趙天連連點頭：「是啊是啊，我很想選葉子姐做我的碩士導師，可葉子姐你最近不帶學生，所以我只能選劉教授。」

「哦，劉教授是個好老師，他在群論方面很有一套。」歐葉說到，她轉而詢問另外兩人：「你倆績點多少」

曾寒、小雲異口同聲：「4.0。」

「哦，優秀。」歐葉擔任指導老師的這個社團雖然社員不多，但個個社員都是學生中的精英呢。

簡單聊了幾句，歐葉又不說話了，她專注於黑板上的數學符號。

一個老師，三個學生，就這么靜靜的看著一塊黑板。

許久，歐葉站了起來，她擦掉黑板上的粉筆字，只留下孤獨的一行字：eq是無窮集的充要條件是le，10。

證明了這句話，即證明了bsd猜想。

但實際上「eq是無窮集的充要條件是le，10」並非伯奇和斯溫納頓戴爾最初提出這個猜想時的形式，他倆最初所做的假設在數學意義上比這句話更強，也就是所謂的強bsd猜想。

黑板上的這行內容是弱bsd猜想，三個學生心中一凜，葉子姐這是從弱bsd猜想上找到了突破口

歐葉在弱bsd猜想下方繼續寫到：

le，s cs1r高階項

孰強孰弱一目了然，當然是下面的這個等式更強，它是強bsd猜想的表達式。

不論是強是弱，數學系的優秀學生並不難理解bsd猜想，難的是證明。

歐葉猶豫了一會兒，最終擦去弱bsd猜想，留下強bsd猜想。

「我們就做這個吧。」歐葉敲了敲黑板。

「葉子姐，做這個是指」趙天問到。

歐葉：「證明它。」

「證明強bsd猜想」趙天驚呆了。

歐葉：「是的，我們證明它。」

「葉子姐，我們是指」小雲問到。

歐葉：「你，你，還有你，加上我。」

「葉子姐你玩真的啊！」趙天以為自己聽錯了。

歐葉倒是納悶了：「你們仨，難道是玩假的」