complete the congruence statement using the sas congruence postulate
