1. Additive property of angle measure
2. Additive property of length
3. All angles are congruent
4. angles forming a linear pair sum to 180°
5. Definition of angle bisector
6. Definition of equilateral triangle
7. Definition of midpoint
8. Verticals angle theorem
