SAS congruence proof