https://9pdf.net/document/yngp6750-sub-riemannian-geometry-of-spheres-and-rolling-manifolds.html