梅森素数
下面的命题关注什么样的梅森数是梅森素数。