Sigui c la circumferència respecte la qual s'inverteixen la inscrita i la circumscrita i que té centre en el punt X(55). Les circumferències determinades per X(55) i les interseccions de c amb els costats del triangle es tallen sobre la circumferència inscrita i són tangents a la circumscrita en els vèrtexs del triangle circumcevià de X(57).