Inverse of a Surjective Isometry