Let ABCABC be a triangle with ∠BAC=60°\angle BAC = 60°. Let DD be a point on the line ACAC such that AB=ADAB = AD and AA lies between CC and DD. Suppose that there are two points E≠FE \neq F on the circumcircle of the triangle DBCDBC such that AE=AF=BCAE = AF = BC. Prove that the line EFEF passes through the circumcenter of ABCABC.