Es sei K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und es sei x ∈ L {\displaystyle {}x\in L} ein Element, das sowohl separabel als auch rein-inseparabel über K {\displaystyle {}K} ist.
Dann ist x ∈ K {\displaystyle {}x\in K} .
