Körpererweiterung/Element/Separabel und rein-inseparabel/Im Grundkörper/Fakt/Beweis
Beweis
Es sei das Minimalpolynom von . Dann besitzt wegen der Separabilität in jedem Erweiterungskörper nur einfache Nullstellen, aber wegen der reinen Inseparabilität überhaupt nur eine Nullstelle. Also besitzt den Grad und somit ist .
![{\displaystyle {}F\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50220ae49fd4c5cc329970fc12b301c78efa889b)
