Satz 19.8
Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 19 Elliptische Kurve/Zahlkörper/Mordell-Weil/Schwach/Fakt