8.G.A.2 Congruence via transformations.