Let P be a point and r a line; A', B', C' the intersections between r and the sides; A" the intersection between PA' and the circle {PBC}, and B", C" defined analogously. Then the four points P, A", B", C" are concyclic.