Mersenne prime
が素数ならば もまた素数であるが、逆は成立しない ()。素数であるメルセンヌ数をメルセンヌ素数（メルセンヌそすう、）という。