Kurs:Elementare Algebra/Kreisteilungskörper/Q/Prim/Kreisteilungspolynom/Fakt/Faktreferenznummer

Lemma 27.12 (Elemente der Algebra (Osnabrück 2024-2025))