Let P be a point, A1B1C1 its cevian triangle. Draw a circle tangent to BC at A1 and to the circumcircle at A2, A2 outside the arc of BC containing A1. Define analogously B2, C2. Then AA2, BB2, CC2 concur.