填空：（请补全下列证明过程及括号内的推理依据）

已知：如图，∠1＝∠2，∠C＝∠D，求证：∠A＝∠F．

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

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

∴（                 ）．

∴∠D＝∠      ▲ （                 ）．

又∵∠C＝∠D（已知）．∴∠C＝∠      ▲ （等量代换）．

∴      ▲       ▲ （                 ）．

∴∠A＝∠F（两直线平行，内错角相等）．