Sean E y F dos grupos de vectores sobre una variedad diferenciable M.