根据条件进行推理，在横线上补全证明过程及推理依据．

如图，已知：∠B+∠BDE＝180°，∠ADE＝∠EFC，求证：∠A＝∠FEC．

证明：∵∠B+∠BDE＝180°，

∴DE∥BC（    ）．

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

∵∠ADE＝∠EFC（已知），

∴∠ADE＝  ▲  （等量代换），

∴AB∥EF（     ）．

∴∠A＝∠FEC（    ）．