的泰勒展开的首项系数，与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。
仔细区分的话，前半部分算是弱BSD猜想的内容。
对于解析秩为0和1的情形，弱BSD猜想已经被证明了，并且精确的BSD猜想在2和导子以外均成立。
陈舟最初的研究，便是在这个基础上展开的。
但随着研究的深入，陈舟发现自己被局限于了他人的证明过程之中。
他只有跳出这个圈子，从整体入手，才能完整的证明BSD猜想……
大约过了十分钟，陈舟猛地停住脚步，双眼熠熠生辉的看着书桌上的草稿纸。
“我知道了……”