Proving congruence using side-angle-side (SAS) criterion