G.T.2: Prove and apply criteria for triangle congruence (ASA, SAS, AAS, SSS, and HL) from the definition of congruence in terms of rigid motions. (E)