如图，在正方形ABCD中，以AD为边作等边三角形ADE，点E在正方形内部，将AB绕着点A顺时针旋转30°得到线段AF，连结EF．求证：四边形ADEF是菱形．