Siguin Ca, Ba en AB, AC i tals que BCa = CBa = BC. Anàlogament definim Ab, Cb, Bc, Cb. Sigui A* el punt mitjà entre Ca i Ba, i anàlogament B*, C*. Llavors AA*, BB*, CC* són concurrents al punt X(37).