Lemma 22.1 Kurs:Kommutative Algebra/Teil I/Vorlesung 22
Kommutative Ringtheorie/Noethersch lokal nulldimensional/Potenz ist null/Fakt