Mediante el teorema de la función inversa se puede comprobar que "F" es un difeomorfismo local.