Endliche separable Körpererweiterung/Satz vom primitiven Element/Fakt/Beweisverweis

Dies ist ein wichtiges Standardresultat aus der Theorie der Körpererweiterungen.