如图,已知AB//CD,角1=角2,求证AE//DF