Es sei E {\displaystyle {}E} eine elliptische Kurve über einem Körper K {\displaystyle {}K} und es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Galoiserweiterung. Es sei E ( L ) / 2 E ( L ) {\displaystyle {}E(L)/2E(L)} endlich.
Dann ist auch E ( K ) / 2 E ( K ) {\displaystyle {}E(K)/2E(K)} endlich.
