[114]The condition that 𝜑 is surjective cannot be removed from the Mazur–Ulam theorem. Find an example.
Hint. By the previous exercise [112]↺↻, the sphere {x∈M2,‖x‖M2=1} must contain segments.
[115]↺↻