的泰勒展开的首项系数，与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。

仔细区分的话，前半部分算是弱bsd猜想的内容。

对于解析秩为0和1的情形，弱bsd猜想已经被证明了，并且精确的bsd猜想在2和导子以外均成立。

陈舟最初的研究，便是在这个基础上展开的。

但随着研究的深入，陈舟发现自己被局限于了他人的证明过程之中。

他只有跳出这个圈子，从整体入手，才能完整的证明bsd猜想……

大约过了十分钟，陈舟猛地停住脚步，双眼熠熠生辉的看着书桌上的草稿纸。

“我知道了……”