Lemma 9.3
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 9 Noetherscher Ring/Kommutativ/Restklassenring/Noethersch/Fakt