Satz 10.4
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 10 Kommutative Ringtheorie/Noethersche Ringe/Endlich erzeugte Moduln sind noethersch/Fakt