We know that segment QS bisects angle TQR because . By the definition of angle bisector, angle TQS is congruent to angle . We see that segment QS is congruent to segment SQ by . Therefore, we can conclude that triangles QRS and QTS are congruent by .