Primitive Element Theorem

Theorem
Let $E / F$ be a separable field extension of finite degree.

Then $E / F$ is simple: there exists $\alpha\in E$ such that $E = \map F \alpha$.