In the plane there is and a point , and is the circumcircle of . Let line meet line at point , and let line meet line at point . Let line meet again at point . Let point be the second intersection point of and the circumcircle of , let point be the second intersection point of line and the circumcircle of , and let point be the second intersection point of line and the circumcircle of . On , draw the two tangent lines with tangent points , respectively, and let them meet at point . Let line meet again at point , and let be the reflection of with respect to line .
Prove that: the six points are concyclic.