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