Reflexive Property
Segment Addition
Segment Subtraction
Substitution
Angle Addition
Angle Subtraction
A segment bisector makes a midpoint
Def. of a midpoint
Def. of an angle bisector
