  Given a compact manifold M, we prove that any bracket generating and
invariant under multiplication on smooth functions family of vector fields on M
generates the connected component of unit of the group Diff(M).
