填空完成推理过程：

如图，BCE，AFE是直线，AB∥CD，∠1=∠2，∠3=∠4，求证AD∥BE.

证明：∵AB∥CD（已知）

∴∠4=∠BAE（   ）

∵∠3=∠4（已知）

∴∠3=∠▲（等量代换）

∵∠1=∠2（已知）

∴∠1+∠CAF=∠2+∠CAF（   ）

即∠BAF=∠CAD

∴∠3=∠▲（等量代换）

∴AD∥BE（   ）