证明:∵∠1=∠2(已知),∠1=∠3,∠2=∠4(____)
∴∠3=____(等量代换)
∴DB∥____(____)
∴∠C=∠ABD(____)
∴∠C=∠D(____)
∴∠D=∠ABD(____)
∴AC∥DF(____)