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

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

答：AB//DE

理由：

∵AF＝DC（已知）

∴AF+FC＝DC+   ▲     

∴AC＝DF（   ▲     ）（填推理的依据）

∵BC//EF（已知）

∴∠BCA＝∠   ▲     （两直线平行，内错角相等）

又∵BC＝EF（已知）

∴ （   ▲     ）（填推理的依据）

∴∠A＝∠   ▲     （全等三角形的对应角相等）

∴AB//   ▲     （内错角相等，两直线平行）