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