Show that and so are all distinct. Therefore by pigeonholing they are a reduced residue system.

Because you get . And that is a permutation of mod by #1.2) Let . Use part 1) to show that

We get . And if since it is a primitive root.3) Let the number m be the primitive root g mod p. Prove that if p-1 doesn't divide k.