完成下列证明过程. 如图,在△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#}).