a) Prove that if p and q are odd primes and q dividesa^p-1, then either q divides a-1 or q = 2kp + 1 for someinteger k.

b) Use part a to show that if p is an odd prime, then theprime divisors of 2^p-1 are of the form 2kp + 1.