formula_6 no es primo, existe formula_8 tal que formula_9, es decir, formula_10.