过点E作∠BEF=∠B,
∴AB∥EF（内错角相等,两直线平行）,
∵∠BED=∠B+∠D（已知）,
∴∠DEF=∠D（等量代换）,
∴CD∥EF（内错角相等,两直线平行）,
∴AB∥CD（平行于同一条直线的两条直线平行）,