Por tanto, el candidato más pequeño para ser un número doble de Mersenne primo es formula_10, es decir, 2 − 1.