完成下列证明过程，并在括号内填上依据.

如图，点E在AB上，点F在CD上，∠1＝∠2，∠B＝∠C，求证AB∥CD.

证明：∵∠1＝∠2（已知），∠1＝∠4（   ），

∴∠2＝▲（等量代换），

∴▲∥BF（   ），

∴∠3＝∠▲（   ）.

又∵∠B＝∠C（已知），

∴∠3＝∠B（   ），

∴AB∥CD（   ）.