Seja ABC um triângulo com incentro I e incírculo ധ. O círculo ധ🇦 tangencia externamente ധ e toca os lados AB e AC em A₁ e A₂, respectivamente. Seja r🇦 a reta A₁A₂. Defina r🇧 e rc de modo análogo. As retas r🇦, r🇧 e rc determinam um triângulo XYZ. Prove que o incentro de XYZ, o circuncentro de XYZ e I são colineares.