フロベニウスの定理
After an application of the Frobenius theorem, one concludes that a manifold M is locally flat if and only if its curvature vanishes.