把下面的说理过程补充完整：

已知：如图，BC∥EF，BC＝EF，AF＝DC，线段AB和线段DE平行吗？请说明理由．

答：AB∥DE．

理由：

∵AF＝DC（已知），

∴AF+FC＝DC+    ▲   （等式的基本性质），

即：AC＝DF，

∵BC∥EF（已知），

∴∠BCA＝∠    ▲   （      ），

又∵BC＝EF（已知），

∴△ABC≌△DEF（      ），

∴∠A＝∠    ▲   （      ），

∴AB∥    ▲   （      ）．