四边形ABEF是菱形吗?你是怎样判断的?