 For prime formula_13, we also have

Gauss proved that for a prime number the sum of its primitive roots is congruent to .If denotes the finite field of order (where is necessarily a prime power), then the number of monic irreducible polynomials of degree over is given by