Mazur–Ulam theorem

The Mazur–Ulam theorem is a fundamental result in the field of functional analysis and geometry. It deals with the structure of isometries between normed spaces.