フロベニウスの定理
The Frobenius theorem states that a subbundle is integrable if and only if it is involutive.