Lemma 26.6 Kurs:Kommutative Algebra/Teil I/Vorlesung 26
Modultheorie/Assoziierte Primideale/Noethersch/Endliche Filtration/Fakt
