G.CO.B.7: Explain how the criteria for triangle congruence (ASA, SAS, AAS, SSS, and HL) follow from the definition of congruence in terms of rigid motions.