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

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

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

∴CE∥BF （     ）

∴∠C=∠3（两直线平行，同位角相等）

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

∴AB∥CD （       ）