在四边形ABCD,BE=CF,AF=DE,求证四边形ABCD是矩形