如图所示,在三角形ABC中,AD平分角BAC,EF垂直平分AD,交BC的延长线与F,那么角CAF等于角ABF成立吗?请说