フロベニウスの定理
Similarly, foliations correspond to "G"-structures coming from block matrices, together with integrability conditions so that the Frobenius theorem applies.