We know that ΔMNQ is isosceles with base . So, by the definition of isosceles triangle. The base angles of the isosceles triangle, and , are congruent by the isosceles triangle theorem. It is also given that and bisect each other at S. Segments are therefore congruent by the definition of bisector. Thus, by SAS.