あとこれも有名な問題

楕円曲線E上の有理点と無限遠点Oのなす有限生成アーベル群の階数(ランク)が
EのL関数 L(E, s) のs=1における零点の位数と一致する事を示せ