En efecto, si en un dominio integro se puede definir una función formula_3 que cumple la primera condición, entonces siempre es posible definir otra que cumpla también la segunda, en particular: