A line L cuts the sides of ABC at A1, B1, C1. Let D be a point of the circumcircle. The lines DA1, DB1, DC1 intersect the circumcircle at A2, B2, C2. Then AA2, BB2, CC2 concur at a point of L.