推理填空:
如图,已知∠1 =∠2,∠B =∠C,可推得AB∥CD。理由如下:
∵ ∠1 =∠2(已知),且∠1 =∠4( ),
∴ ∠2 =∠4(等量代换),
∴ CE∥BF( ).
∴ ∠ =∠3( ).
又∵ ∠B =∠C(已知),
∴ ∠3 =∠B(等量代换),
∴ AB∥CD( ).