In 1932, Mazur and Ulam proved that any isometry f of a normed space E , with f(0)=0, is necessarily a linear transformation. The following article revisits that theorem and its proof: Borboleta_2012_Return-on-the-1932-proof-of-the-Mazur-Ulam-Theorem.pdf