Euclidean plane isometry