Theorem. The Primitive Element Theorem [2503]

If $K / F$ is finite and separable, then $K / F$ is simple.