Let $\omega$ be the incircle of $\triangle ABC$ and $D,E,F$ be the tangency points on $BC ,CA, AB$. In $\triangle DEF$ let the altitudes from $E,F$ to $FD,DE$ intersect $AB, AC$ at $X ,Y$. Prove that the second intersection of $(AEX)$ and $(AFY)$ lies on $\omega$