フロベニウスの定理
Frobenius theorem (differential topology)