距离彻底证明bsd猜想，只剩下最后一块拼图——阿贝尔簇！
也是三块拼图中最难搞定的一块。
前两块拼图，也就是椭圆曲线和莫代尔交换群，只是推导的思路比较难，但并不算复杂。
但阿贝尔簇不同，不仅难度颇大，而且需要的计算量也是无比的庞杂。