Myers–Steenrod theorem
Two theorems in the mathematical field of Riemannian geometry bear the name Myers–Steenrod theorem, both from a 1939 paper by Myers and Steenrod. The first states that every distance-preserving surjective map (that is, an isometry of metric spaces) between two connected Riemannian manifolds is a smooth isometry of Riemannian manifolds.