推理填空：

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

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

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

∴CE∥BF （         ）

∴∠（ ）＝∠3（ ）

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

∴AB∥CD （         ）