フロベニウスの定理
Frobenius theorem on Pfaffian systems