因为角1=角3（对顶角相等）
角1+角2=180°（已知）,
所以角2+角3=180°（等量代换）
得AB//EF（ 同旁内角互补,所以两直线平行 )
因为AB//CD(已知),
所以CD//EF（ 平行于同一直线的两直线平行 ）