Para empezar, una función "F" es invertible cerca de p si el determinante jacobiano en p es no nulo.