Because primitive roots play a crucial role in many theoretical investigations, a problem exerting a natural appeal is that of describing all integers that possess primitive roots. We shall ,over the course of the next few pages, prove the existence of primitive roots for all primes. Before doing this, let us turn aside briefly to establish Lagrange’s theorem, which deals with the number of solution of a polynomial congruence.