黎曼几何
Gauss's lemma (Riemannian geometry)