黎曼几何
Chow's theorem (sub-Riemannian geometry)