donde formula_2 implica que existe un número natural formula_5 tal que formula_6.