Primitive element theorem (source code)

= Primitive element theorem
{wiki}

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