Let A'B'C' be a triangle inscribed in ABC. Let Oab, Oac be the circumcenters of AA'B, AA'C. Define analogously Obc, Oba, Oca, Ocb. The lines OabOba, ObcOcb, OcaOac concur at the circumcenter O of ABC.