Sean O el circuncentro; cna, cnb, cnc las circunferencias de los 9 puntos de OBC, OCA, OAB. Sea Ra el centro radical entre la circunferencia circunscrita, cnb y cnc; definimos análogamente Rb, Rc. Las rectas ARa, BRb, CRc son concurrentes.