【设L(E，s)是椭圆曲线E对应的Hasse-eil L-function。事实上BSD conjecture包含下面两条.函数L(E，s)在处Taylor展开的阶等于椭圆曲线的Mordell-eil rank……那么就有L(E，1)=0，~L'(E，1)\not=0 Rightarro r(E)≥ 1】
无误！
下一部分证明过程。
【那么就有L(E，1)=0，~L'(E，1)\not=0≥ r(E)=1.由Kolyvagin定理，得……】
无误！
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。
仿佛不知疲倦般，程诺从尾到头的逐页翻看。
…………
时间，已经来到凌晨三点。
程诺放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑，在办公室内一旁的柜子中找了一张毛毯给方教授盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间，一分一秒的流逝。
程诺目光一行行扫视。
突然，他的目光紧锁在一行算式上。
【……在p≥11的条件下，设椭圆曲线是semi-stable的，便有ord(L(E，1)/c)=ord(Sha(E)，GL2为……】
这里，这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对，不应该是这样！
GL2公式的求解完全没必要，如果想要从逻辑上得到Kolyvagin conjecture的话，应该用……
一瞬间，程诺灵光迸裂！
………………
………………
PS：一个字：热！！！