推理填空：

如图，

已知∠1＝∠2，∠B＝∠C，可推得AB∥CD.理由如下：

∵∠1＝∠2（已知），且∠1＝∠4（▲）

∴∠2＝∠4 （等量代换）

∴CE∥BF （   ）

∴∠▲＝∠3（   ）

又∵∠B＝∠C（已知），∴∠3＝∠B（等量代换）

∴AB∥CD （   ）