如图所示,如果角D=角EFC,那么