推理填空：
如图，已知∠1=∠2，∠B=∠C，可推得AB∥CD．理由如下：
因为∠1=∠2（已知），且∠1=∠4（①理由：                ）
所以∠2=∠4 （等量代换）
所以CE∥BF （②理由：                          ）
所以∠C =∠3（③理由：                          ）
又因为∠B=∠C（已知），
所以∠3=∠B（等量代换）
所以AB∥CD （④理由：                         ）