5.6: Proving Triangle Congruence by ASA and AAS