A cyclic quadrilateral $A B X C$ has circumcentre $O$. Let $D$ be a point on line $B X$ such that $|A D|=|B D|$. Let $E$ be a point on line $C X$ such that $|A E|=|C E|$. Prove that the circumcentre of triangle $\triangle D E X$ lies on the perpendicular bisector of $O A$.