Kurs:Körper- und Galoistheorie/Konstruierbare Zahl/Minimalpolynom hat Grad Zweierpotenz/Fakt/Faktreferenznummer

Korollar 25.6 (Körper- und Galoistheorie (Osnabrück 2018-2019))