Es sei E {\displaystyle {}E} eine elliptische Kurve E {\displaystyle {}E} über einem Zahlkörper K {\displaystyle {}K} .
Dann ist E ( K ) / 2 E ( K ) {\displaystyle {}E(K)/2E(K)} endlich.