6.4 Inverse of Isometries