Primitive root existence

Let n be a positive integer. There exists a primitive root mod n exactly in the following cases and no others:

1. n=1, 2, or 4
2. n=p^r where p is an odd prime
3. n=2p^r where p is an odd prime