Satz 17.9
Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 17 Elliptische Kurve/Geschlecht 1/Kubische Realisierung/Fakt