Mazur-Ulam theorem

Every surjective isometry between real normed vector spaces is affine. In particular, if $u(0)=0$, then $u$ is real-linear.