Esto es equivalente a decir que existe una función formula_4 tal que: