Lemma 26.8
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 26 Kreisteilungskörper/Q/Prim/Kreisteilungspolynom/Fakt