Una recta talla els costats d'ABC en A', B', C'. Sigui A* el punt de contacte de la circumferència inscrita amb la tangent a ella per A' diferent de BC. Definim anàlogament B*, C*. Llavors AA*, BB*, CC* són concurrents.