推理填空：完成下列证明过程，并在括号内填上依据．如图，已知点E在AB上，点F在CD上，∠1=∠2，∠B=∠C，求证：AB∥CD。

证明：已知∠1=∠2(已知)，

因为∠1=∠4(   ▲  )

所以∠2=   ▲  (等量代换)

所以   ▲  ∥BF(   ▲  )

所以∠3=   ▲  （   ▲  ）

又因为∠B=∠C(已知)

所以∠3=∠B(   ▲  )

所以AB∥CD(   ▲  )