如图，将平行四边形ABCD沿过点A的直线l折叠，使点D落到AB边上的点F处，折痕交CD边于点E.

求证：四边形ADEF是菱形.