FROBENIUS THEOREM

Initially we establish a proposition of which the converse is the Frobenius' theorem (relative to vector fields). Let M be an n-dimensional manifold,

S be an m-dimensional submanifold of M, with the induced topology.