A Mersenne prime is a prime number of the form 2^n-1; for instance, 7 = 2^3-1. Prove that if 2^n-1 is a prime then 2^n+1 is not a prime for n>2. Is there a name for the primes of the form 2^n+1?