Bisectors AI and CI meet the circumcircle of triangle ABC at points A1,C1 respectively.
The circumcircle of triangle AIC1 meets AB at point C0; point A0 is defined similarly.
Prove that A0,A1,C0,C1 are collinear. geometryincenterangle bisector