1. m∠1 + m∠2 = 180°
2. Definition of bisector
3. m∠1 + m∠3 = 180°
4. Substitution Property of Equality