Frobenius theorem
が成立する。この 1 階常微分方程式の解の存在は、ピカール・リンデレフの定理によって保証されている（もっと一般に微分幾何におけるフロベニウスの定理によって与えられる）。これに対してリー微分を