I found a statement in which the hypotheses includedinvolving a $1$-Lipschitz homeohomeomorphism $f:X\to X$ of a compact metric space $X$, with Lipshitz coefficient 1, i.e., a non-expansive map, and I don't know any counterexample tocannot think of an example where $f$ beingis not an isometry. Must it be?