Write and . Relation (2) reduces to brackets of individual summands. Applying relations (3), (1), and (3), in that order, gives
The middle term vanishes because the commute, and every remaining term lies in their smooth span. Therefore
This is the involutivity condition in the Frobenius theorem.

Articles by others on the same topic (0)

There are currently no matching articles.