Sea ra el eje radical entre las circunferencias A-exinscritas de ABC y de su triángulo órtico. Definimos análogamente rb, rc. Las perpendiculares por A, B, C a ra, rb, rc concurren en el incentro I de ABC.