formula_6, donde formula_7 es la potencia correspondiente a un número primo de Mersenne aumentado en una unidad.