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*. Si A", B", C" són els punts de contacte de la circumferència inscrita amb els costats, les rectes A"A*, B"B*, C"C* són concurrents.