Sea "M" una variedad diferenciable con conexión formula_4.