Frobenius theorem
Frobenius theorem (differential topology)