Given: ST bisects
Given
Reflexive Property of Congruence
Definition of Bisector
SAS
