Proving Congruence: ASA and AAS