 Primitive element theorem

Every finite separable extension $L/K$ is generated by one element: $L=K(\alpha )$ for some $\alpha \in L$.

The Primitive Element Theorem is a fundamental result in field theory, which deals with field extensions in algebra.