Korollar 13.9
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 13 Endliche Körpererweiterung von Q/Minimalpolynom aus konjugierten Elementen/Fakt