para todo formula_3, existe un entero formula_4 tal que