已知:如图,AD\BC,角AEF=角B,求证:AD\EF