Sea formula_44 variedades diferenciables y formula_27 un difeomorfismo, entonces tenemos que: