Satz 26.13
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 26 Kreisteilungspolynom/Irreduzibel/Fakt