把下面的推理过程补充完整,并在括号内注明理由.
如图,点B、D在线段AE上,BC∥EF,AD=BE,BC=EF,试说明: ∠C=∠F; AC∥DF.
∵AD=BE(已知)
∴AD+DB=DB+BE({#blank#}1{#/blank#})
即AB=DE
∵BC∥EF(已知)
∴∠ABC=∠{#blank#}2{#/blank#},({#blank#}3{#/blank#})
又∵BC=EF(已知)
∴△ABC≌△DEF({#blank#}4{#/blank#})
∴∠C=∠F,∠A=∠FDE({#blank#}5{#/blank#})
∴AC∥DF({#blank#}6{#/blank#})