Si formula_6 es que existe un entero formula_7 tal que formula_8.