Sea X el inverso del incentro I en la circunferencia circunscrita. La circunferencia {AIX} corta a la circunferencia circunscrita en el punto de contacto de ésta con la circunferencia tangente a ella y a los lados AB, AC.