Let be even.

Then since is a primitive root.

If is odd, then , but for this would mean which we know to be false since .

Therefore is a primitive root if .

If then , so i.e. is odd. Therefore .

Now since . Let .

We know . But since is a primitive root, .

Therefore . Hence is not a primitive root for .