2.根据相邻论,证明梅森素数猜想