Si el grupo formula_16 definido sobre el fibrado tangente admite es reducible a un subgrupo entonces la distribución es integrable.