第三節，化約。
在這一節裡韋伯把整個 BSD猜想的證明，總結成了一件事——證明 Kolyvagin導數類不會退化。
他還給退化取了個名字，叫 exceptional relation（異常關係），只要證明這個東西不存在，就等於證明了 BSD猜想。
“如果是我的話，我估計也會這麼幹，這樣更簡單。”
李東點頭說道。
話雖然說得輕巧，但這種化約能力其實是最見數學功力的地方。
一個龐大的命題就在那裡，它牽連著數論、代數幾何、解析函式三大塊，而韋伯直接就切到了最薄的那個截面上。
並不是每個人都能找到該切在哪裡的。
事實上，大多數人連那個截面的存在都看不見。
時間慢慢過去，窗外的天色已經完全暗了下來。
房間裡安靜得只剩下牆上時鐘滴答滴答走著的聲音和李東的滑鼠點選聲。
李東已經看到了論文的第四節。
這一節讓李東看得興奮了起來。
韋伯在這裡用了一個連他都沒想到的方法。
他把關係模嵌進了分圓整數環上的一個理想格里，然後證明這個格足夠的“胖”——最短向量長度不低於某個有效閾值 T。
也就是說，格里面不存在反常短的向量，也就不存在 exceptional relation（異常關係），Kolyvagin的界就不會崩。
而且韋伯只用了區區六步就做到了。
第一步，把理想格實現為分數理想，搭上 Minkowski度量和跡形式。
第二步，用導手判別式公式算格的餘體積。
第三步，用 Galois群把假設的短向量化成本原向量。
第四步，transference不等式給出 Hermite常數的下界。
到這裡為止，論文裡的每一步都有依有據，挑不出任何的毛病。
李東也越看越快倒不是因為他在跳讀，而是因為韋伯的證明節奏好得讓人幾乎不需要停下來驗算，你只需要跟著他的思路走就行了。
“嘶……這傢伙確實有兩下子啊。”
李東靠回椅背，捏了捏鼻樑。
“要是換自己的話，也只能省下一步而已。”
他拿起桌上的水杯喝了一口，水已經涼透了，他也沒在意。
第五步、第六步，最後證畢。
。的通是輯邏，尾到頭從文論篇整
。懶的式”證自請者讀“種那現出有沒也接銜的間之理定和理引，點錨到找能也躍跳，撐支有都言斷鍵關個一每
。究考——象印的字個兩了下留東李給文論篇這
。時小來個一去過才也間時，輯邏下了跑地略是只他文論篇這，間時看了看東李
？嗎了明證被想猜DSB，以所
。了明證伯韋被實確它，問疑無毫，的寫所文論篇這照按果如
。頭對不哪得覺是老東李可
。哪在點誤錯出給有沒也盤沙是但，過全完能不並文論篇這，裡盤沙維思的他
。置位的它到不看是就你但，在它道知你，上頭指了在紮刺小有像好就，服舒不很人讓覺種這
