高校スレにも書きましたがこちらにも
楕円曲線E上の有理点と無限遠点Oのなす有限生成アーベル群の階数（ランク）が、EのL関数 L(E, s) のs=1における零点の位数との一致を証明せよ。

お願いします