A quadrilateral A$BCD$ is inscribed into a circle with center $O$. Points $C', D'$ are the reflections of the orthocenters of triangles $ABD$ and $ABC$ at point $O$. Lines $BD$ and $BD'$ are symmetric with respect to the bisector of angle $ABC$. Prove that lines $AC$ and $AC'$ are symmetric with respect to the bisector of angle $DAB$.
Problem
Source: Sharygin 2007 Final 10.4
Tags: geometry, reflection, angle bisector, cyclic quadrilateral, symmetry