Lemma 3.8
Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Vorlesung 3 Hauptidealbereich/Irreduzibel ist prim/Fakt
