Sean Aa, Ba, Ca los puntos de contacto de la A-circunferencia exinscrita y los lados, y definimos análogamente Ab, Bb, Cb, Ac, Bc, Cc. Sea X = CbAbÇAcBc, y definimos análogamente Y, Z. Los puntos X, Y, Z están en las alturas de ABC y el ortocentro de ABC es el circuncentro de XYZ.