How can transformations show that two images are congruent?