https://123dok.net/document/zlg16jjo-existence-closed-geodesic-span-class-mathjax-formula-convex.html