Primitive element theorem

In field theory, the primitive element theorem states that every finite separable extension is simple, i.e. generated by a single element. This theorem implies in particular that all algebraic number fields over the rational numbers, and all extensions in which both fields are finite, are simple.