如图在三角形abc中def分别是ab ac bc,求证四边形BEFD