Sean formula_26 variedades diferenciables, formula_27, formula_28 y formula_3, entonces tenemos que: