652章 四步 （4 / 80）

最後一步，欲證明強BSD猜想，即證明這句話：E（Q）是無窮集的充要條件是L（E，s）在s=1處的泰勒多項式具有如下形式，L（E，s）=c（s1）^r+高階項，其中c≠0，r是E的秩。