Satz 17.10
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 17 Kreisteilungskörper/Q/Minimalpolynom/Fakt
