Lemma 27.10
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 27 Kreisteilungskörper/Q/Erzeugt durch explizite Nullstellen/Fakt