フロベニウスの定理
The Frobenius theorem asserts that this problem admits a solution locally if, and only if, the operators satisfy a certain integrability condition known as "involutivity". Specifically, they must satisfy relations of the form