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=F(\alpha)$.