如图，AD、BF相交于点O，点E、C在BF上，BE=FC，AC=DE，AB=DF，求证：四边形ABDF是平行四边形。