リーマン幾何学
Chow's theorem (sub-Riemannian geometry)