リーマン幾何学
Gauss's lemma (Riemannian geometry)