# Primitive Element 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)$.