https://9dok.org/document/yr3dvmeo-inequality-involves-invariants-curvature-submanifolds-sectional-curvature-manifold.html