如图，已知∠1=∠2，∠3=∠4，求证：BC∥EF．完成推理填空：

证明：因为∠1=∠2（已知），
所以AC∥        （                    ）,
所以∠     =∠5 （                    ）,
又因为∠3=∠4（已知），
所以∠5=∠     （等量代换），
所以BC∥EF （                    ）．