The minimal polynomial of a primitive element of a finite field regarded as a field extension over a finite field of prime order