Satz 9.2 Kurs:Kommutative Algebra/Teil I/Vorlesung 9
Kommutative Ringtheorie/Verschiedene Charakterisierungen für faktoriell/Fakt
