Korollar 21.4 Kurs:Kommutative Algebra/Teil I/Vorlesung 21
Lokaler Ring/Lemma von Nakayama/Untermodul/Fakt