Un número de Mersenne es definido como formula_11 (donde formula_12 es primo) y por el pequeño teorema de Fermat se sabe que formula_13 es siempre divisible por un número primo formula_1.