Proving Congruence: SSS and SAS