因为∠1=∠2,(已知),∠1=∠4（对顶角相等）
所以∠2=∠4（等量代换）
所以EC∥BF(同位角相等,两直线平行)
所以∠B=∠AEC(两直线平行,同位角相等)
因为∠B=∠C（已知）
所以∠AEC=∠C（等量代换）
所以AB∥CD(内错角相等,两直线平行)