Dado un número de Mersenne formula_8 con formula_9 primo, formula_10 es primo si y solo si formula_11 es divisible por formula_10.