G.25: Verify criteria for showing triangles are congruent using a sequence of rigid motions that map one triangle to another.