es un isomorfismo lineal (es decir, isomorfismo entre espacios vectoriales) en un punto "p" de "M", entonces existe un entorno abierto "U" de "p" tal que