Satz 6.9 Kurs:Kommutative Algebra/Teil I/Vorlesung 6
Hauptidealbereich/Restklassencharakterisierung von prim/Fakt
