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