如图AB=AD,AB-AD,求证BE=EF