Using the SAS Congruence Theorem