HS.G.5.b: Explain how the criteria for triangle congruence (ASA, SAS and SSS) follow from the definition of congruence in terms of rigid motions.