如图,已知ab=ac,bf=cf.求证:ef=df