ASA and AAS Congruence Theorems