Circle ω is inscribed in quadrilateral ABCD and is tangent to segments BC,AD at E,F , respectively.DE intersects ω for the second time at X. if the circumcircle of triangle DFX is tangent to lines AB and CD , prove that quadrilateral AFXC is cyclic. geometrycircumcirclecyclic quadrilateral