Decomposition of Field Extension as Separable Extension followed by Purely Inseparable

Theorem
Let $E/F$ be an algebraic field extension.

Then the relative separable closure $K=F^{sep}$ in $E$ is the unique intermediate field with the following properties:
 * $K/F$ is separable.
 * $E/K$ is purely inseparable.