如图:已知:AB=AC,DB=CE,求证:DF=EF