已知DAB,EAC,FBC都是等边三角形,求证:四边形DECF