Lemma 17.2
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 17 Kreisteilungskörper/Q/Erzeugt durch explizite Nullstellen/Fakt