Primitive element theorem

Using the fundamental theorem of Galois theory, the former theorem immediately follows from the latter.