G.CO.B.7: Develop the criteria for triangle congruence from the definition of congruence in terms of rigid motions.