Satz 6.5 Kurs:Kommutative Algebra/Teil I/Vorlesung 6
Hauptidealbereich/Ist faktoriell (ohne Begriff)/Fakt