完成下列证明过程． 如图，在△ABC中，∠B=∠C，D、E、F分别在AB、BC、AC上，且BD=CE，∠DEF=∠B，说明ED=EF．
解：∵∠DEC=∠B+∠BDE （{#blank#}1{#/blank#}），
又∵∠DEF=∠B（已知），
∴∠{#blank#}2{#/blank#} =∠{#blank#}3{#/blank#}（等式性质）．
在△EBD与△FCE中，
∠{#blank#}4{#/blank#} =∠{#blank#}5{#/blank#}（已证），
{#blank#}6{#/blank#} ={#blank#}7{#/blank#}（已知），
∠B=∠C（已知），
∴△EBD≌△FCE（{#blank#}8{#/blank#}）．
∴ED=EF （{#blank#}9{#/blank#}）．
