Sean I el incentro; Oa, Ob, Oc los circuncentros de IBC, ICA, IAB. Sean Aa, Ab, Ac las proyecciones de A sobre las alturas y O1 el circuncentro de AaAbAc. Definimos análogamente O2, O3. Los puntos O1, O2, O3 pertenecen a la circunferencia de los 9 puntos de ABC.