完成下列推理过程：
如图，已知∠
A＝∠
EDF，∠
C＝∠
F，求证：
BC∥
EF
证明：∵∠
A＝∠
EDF（已知）
∴________∥________（__________________________________）
∴∠
C＝________（_____________________________________）
又∵∠
C＝∠
F（已知）
∴_______＝∠
F（等量代换）
∴________∥________（_________________________________）
