Lemma 17.16
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 17 Kreisteilungskörper/Primzahl/Einheitswurzel/Diskriminante/Fakt