Lemma 18.1 Kurs:Kommutative Algebra/Teil I/Vorlesung 18
Noetherscher Integritätsbereich/Faktorzerlegung/Exponentschranke/Fakt