Lemma 26.6
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 26 Kreisteilungskörper/Q/Erzeugt durch explizite Nullstellen/Fakt
