The Janet–Cartan theorem is a fundamental result in differential geometry stating that any real-analytic Riemannian manifold can be locally isometrically embedded into a Euclidean space of sufficiently high dimension.