Category:Definitions/Mersenne Primes