推理填空：
如图，已知∠1 =∠2，∠B =∠C，可推得AB∥CD。理由如下：

∵ ∠1 =∠2（已知），且∠1 =∠4（                   ），
∴ ∠2 =∠4（等量代换），
∴  CE∥BF（                                    ）.
∴ ∠    =∠3（                               ）.
又∵ ∠B =∠C（已知），
∴ ∠3 =∠B（等量代换），
∴  AB∥CD（                                    ）.