Sea formula_10 un entero primo tal que formula_187 con formula_188 enteros.