Sea A'B'C' un triángulo inscrito en ABC. Sean Oab, Oac los circuncentros de AA'B, AA'C. Definimos análogamente Obc, Oba, Oca, Ocb. Las rectas OabOba, ObcOcb, OcaOac concurren en el circuncentro O de ABC.