Is 3 a primitive root of 7?
If p is prime, then b is a primitive root if
Powers of b include all residue classes mod p
