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