Lemma 3.2
Kurs:Studienprojekt:Modultheorie über Hauptidealbereichen (Osnabrück 2011-2012)/Vorlesung 3 Teilbarkeitstheorie/Bereich/Prim ist irreduzibel/Fakt