Let ABC be a triangle, P a point, P' the inverse of P in the circumcircle. The bisectors of the three angles PAP', PBP', PCP' and the segment PP' concur at a point in the circumcircle.