Una recta corta los lados de ABC en A', B', C'. Sea A* el punto de contacto de la circunferencia inscrita con la tangente a ella por A' diferente de BC. Definimos análogamente B*, C*. Si A", B", C" son los puntos de contacto de la circunferencia inscrita con los lados, las rectas A"A*, B"B*, C"C* concurren.