Proposition 9.2
Kurs:Algebraische Kurven (Osnabrück 2025-2026)/Vorlesung 9 Kommutative Ringtheorie/Noethersche Ringe/Äquivalente Formulierungen/Fakt
