Frobenius theorem
This result holds locally in the same sense as the other versions of the Frobenius theorem. In particular, the fact that it has been stated for domains in is not restrictive.