Lemma 4.7
Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 4 Projektive Kurve/Fermat-Kurve vom Grad d/Glattheit/Fakt