Sean Ca, Ba en AB, AC y tales que BCa = CBa = BC. Análogamente definimos Ab, Cb, Bc, Cb. Sea A* el punto medio entre Ca y Ba, y análogamente B*, C*. Entonces AA*, BB*, CC* concurren en el punto X(37).