Vollkommener Körper/Körpererweiterung/Endlich erzeugt/Separabel erzeugt/Fakt

Es sei ein vollkommener Körper und eine endlich erzeugte Körpererweiterung.

Dann ist die Körpererweiterung separabel erzeugt