Redirecting to Mazur–Ulam theorem