If m has primitive roots then is an even number. So the group of primitive roots has even order. Two of its elements are 1 and m–1 (and of course ). The remaining elements can be paired off, each pair consisting of an element and its inverse. The product of each such pair is by definition So the product of all the elements of the group is