Let be the incentre of triangle with and let the line intersect the side at . Suppose that point lies on the segment and satisfies . Further, let be the point obtained by reflecting over the perpendicular bisector of , and let be the other intersection of the circumcircles of the triangles and . Prove that .