Ahora definimos una función formula_7 a la que aplicar el teorema de la función implícita: