a^b-1=(a-1)(a^(b-1)+...+1)と因数分解できるのでa-1=1すなわちa=2が必要,さらにb=xyなる2以上の整数x,yの組が存在するならば2^b-1=(2^x)^y-1=(2^x-1)((2^x)^(y-1)+...+1)と因数分解できるのでbが素数であることが必要,ただし2^5-1=31は素数なのでbがMersenne素数であることは必要ではない