如图,已知三角形ABC中,角BAD=角CAD,EF垂直平分AD,EF与CB的延长线交于点,请说明角BAF=角C的理由.