Mersenne prime
is a Mersenne prime, and that correspondingly