Given

CPCTC

angle SRU is congruent to angle TRU

SAS (Side-Angle-Side)

RS is congruent to RT; RU bisects angle SRT

Reflexive

RU is congruent to RU

Triangle SRU is congruent to Triangle TRU

Angle S is congruent to Angle T

Definition