Testing congruence of triangles using transformations.