已知矩形ABCD沿EF翻折,使点A落在点C处,求证:四边形AFCE是菱形.