当n为质数时,2的n次方减1一定是质数吗?