Let P, P* be isogonal points; Oa, Ob, Oc the circumcenters of APP*, BPP*, CPP*. The points Oa, Ob, Oc are collinear in the perpendicular bisector between P and P*, and the lines AOa, BOb, COc concur at a point in the circumcircle.