完成下列推理过程：

如图，已知∠A＝∠EDF，∠C＝∠F，求证：BC∥EF

证明：∵∠A＝∠EDF（已知）

∴             ∥           （           ）

∴∠C＝           （           ）

又∵∠C＝∠F（已知）

∴           ＝∠F（等量代换）

∴           ∥           （           ）