Normale endliche Körpererweiterung/Fakt