Satz 8.10
Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Vorlesung 8 Endliche einfache Körpererweiterung/Norm und Spur im Minimalpolynom des Erzeugers/Fakt