Frobenius theorem
Frobenius theorem on Pfaffian systems