推理填空:
已知,如图,BCE、AFE是直线,AB∥CD,∠1=∠2,∠3=∠4.
求证:AD∥BE.
证明:∵AB∥CD(已知)
∴∠4=∠ ( )
∵∠3=∠4(已知)
∴∠3=∠ ( )
∵∠1=∠2(已知)
∴∠1+∠CAF=∠2+∠CAF(等式的性质)
即∠BAF=∠
∴∠3=∠ ( )
∴AD∥BE( )