如图，E为DF上的一点，B为AC上一点，如果∠1＝∠2，∠C＝∠D．

求证：DF∥AC．

以下是小明同学的证明过程，请你帮他完成填空：

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

又∵∠1＝∠3（                  ▲                  ），

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

∴                  ▲                  ∥                  ▲                  （                  ▲                  ）．

∴∠C＝∠ABD （                  ▲                  ）．

∵∠C＝∠D（已知） ，

∴∠D＝∠ABD（等量代换）．

∴DF∥AC（                  ▲                  ）．