已知:如图,AB∥CD,∠BAF=∠F,∠CDE=∠E. 求证:AF⊥DE.