Lemma 17.4
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 17 Kreisteilungskörper/Q/Prim/Kreisteilungspolynom/Fakt