Lemma 27.12
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 27 Kreisteilungskörper/Q/Prim/Kreisteilungspolynom/Fakt