已知任意四边形ABCD,E为AD的中点,F为BC的中点,求证:(都是向量)EF-AB=DC-EF