Dicho de otro modo, si la diferencial de "F" es un isomorfismo en todos los puntos "p" de "M", entonces la aplicación "F" es un difeomorfismo local.