Using the triangles shown below, explain how the ASA congruence criteria follows from the definition of congruence in terms of rigid motions.