[potench]

For others that, like me, do not know… a Mersenne prime is when the n is prime and the resulting M is also prime in the following equation.

M = 2ⁿ - 1

[loup-vaillant]

I didn’t know, but according to Wikipedia we don’t need to require `n` to be prime, because when it isn’t, then neither is 2ⁿ-1. https://en.wikipedia.org/wiki/Mersenne_prime

So I prefer to shorten the definition to "A prime of the form 2ⁿ-1". It’s bloody useful that n has to be prime though: makes searching that much faster.