AB∥CD，理由如下：
过点E作∠BEF=∠B
∴AB∥EF（内错角相等，两直线平行）
∵∠BED=∠B+∠D
∴∠FED=∠D
∴CD∥EF（内错角相等，两直线平行）
∴AB∥CD（平行公理的推论）．
故答案为：内错角相等，两直线平行；内错角相等，两直线平行；平行公理的推论．