如图，在□ABCD中，DE平分∠ADC，EF//AD，求证：四边形AEFD是菱形。