∵角1等于角2（已知）
又∵对顶角相等）
∴∠1=∠3（等量代换）
∴BD平行于CE（同位角相等,两直线平行）
∴∠C=∠ABD（两直线平,同位角相等）
又∵∠C=∠D（已知）
∴∠ABD=∠D（等量代换）
∴DF平行于AC（内错角相等,两直线平行）
∴角A等于角F（两直线平,内错角相等）