Lemma 22.2
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 22 Lokaler Ring/Modulerzeuger und Erzeuger mod m/Fakt