What is the definition of a primitive element of an extension field <i>E</i> of a field <i>F</i>?