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

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

因为∠1=∠4(   ▲   )

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

所以   ▲   ∥BF(   ▲   )

所以∠3=   ▲   （   ▲   ）

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

所以∠3=∠B(   ▲   )

所以AB∥CD(   ▲   )