For any n, is a primitive nth root of unity, and the other primitive roots are exactly the numbers , where gcd(k,n)=1. If you picture these on the unit circle and realize that the conjugate of a primitive root is also a primitive root, you can prove it that way.