$ABC$ is a right triangle with $\angle C$ the right angle. $X$ is some point inside $ABC$ satisfying $CA=AX$. Let $D$ be the feet of altitude from $C$ to $AB$, and $Y(\neq X)$ the point of intersection of $DX$ and the circumcircle of $ABX$. Prove that $AX=AY$.