Myers–Steenrod theorem
The main difficulty lies in showing that a distance-preserving map , which is a priori only continuous , is actually differentiable . 
<triplet> differentiable <subj> continuous <obj> subclass of