Redirecting to Gauss's lemma (Riemannian geometry)