Es un resultado de Hartl y Athorne ([Hartl 1994]), aunque aparece anteriormente en @basarab.

Given a solvable structure for a distribution $\mathcal{Z}$, their integral submanifolds can be found, locally, by quadratures alone.

Tengo la idea de que se pueda tratar en términos de modules.