Subsection III.5.1.3

Existence of a primitive element