Gauss's lemma (Riemannian geometry) (source code)

= Gauss's lemma (Riemannian geometry)
{wiki=Gauss's_lemma_(Riemannian_geometry)}