Let D be an interior point of the acute triangle ABC with AB > AC so that ∠DAB = ∠CAD. The point E on the segment AC satisfies ∠ADE = ∠BCD, the point F on the segment AB satisfies ∠F DA = ∠DBC, and the point X on the line AC satisfies CX = BX. Let O1 and O2 be the circumcenters of the triangles ADC and EXD, respectively. Prove that the lines BC, EF, and O1O2 are concurrent