Siguin Aa, Ba, Ca els punts de contacte de l'A-circumferència exinscrita i els costats, i definim anàlogament Ab, Bb, Cb, Ac, Bc, Cc. Sigui X = CbAbÇAcBc, i definim anàlogament Y, Z. Els punts X, Y, Z estan a les altures d'ABC i l'ortocentre d'ABC és el circumcentre de XYZ.