Elliptische Kurve/Modulo 2/Körpererweiterung/Fakt

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

Dann ist auch ${\displaystyle {}E(K)/2E(K)}$ endlich.