Gauss's_lemma_(Riemannian_geometry) loading ...