Se cumple que todos los números de Mersenne, formula_2, que sean primos también tendrán "n" prima (aunque no toda "n" prima vale; no es una condición suficiente que "n" sea prima para que formula_3 lo sea).