Let K be the symmedian point, O the circumcenter; Oa, Ob, Oc the circumcenters of KBC, KCA, KAB. The lines OA, OB, OC bisect respectively the segments ObOc, OcOa, OaOb.