Satz 22.13
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 22 Eisenstein Irreduzibilitätskriterium/Faktorieller Bereich/Fakt