El teorema de la función implícita aplicado a la función anterior implica que existe una función formula_8 tal que: