CD//AB, then ∠ DAB+∠ ADC = 180.

That is ∠EAF=∠ADC.

In △EAF and △ADC, AE=AD, ∠EAF=∠ADC, AF=DC,

Then △ EAF △ ADC (corner edge)

AC=EF。