. "Mazur-ulam theorem" . "Mazur-ulam theorem" . .