Frobenius theorem
It is easy to see that any integrable distribution is automatically involutive. The converse is less trivial but holds by Frobenius theorem.