If p > 3, prove that primitive roots modulo p occur in pairs r, r' where rr' equiv 1 mod p.
a) True
b) False