1. ray BF bisects ∠ABC 1. given
m∠ABD = m∠CBE
2. ∠ABF ≅ ∠ CBF 2. angle bisector theorem
3. m∠ABF = m∠CBF 3. definition of congruency
4. m∠ABF = m∠ABD + m∠DBF 4. angle addition postulate
m∠CBF = m∠CBE + m∠EBF
5. m∠ABF = m∠CBE + m∠DBF 5. substitution (s1: m∠ABD = m∠CBE)
6. m∠CBF = m∠CBE + m∠DBF 6. substitution (s3: ∠ABF = ∠ CBF)
7. m∠CBE + m∠DBF = m∠CBE + m∠EBF 7. transitive property
8. m∠DBF = m∠EBF 8. subtraction property