梅森素数
is a Mersenne prime, and that correspondingly