리만 다양체
As a sub-Riemannian manifold.