if g is a primitive root mod p then show that:

g^p^(e-1) has order p-1 (mod p^e)