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*. Las rectas AA*, BB*, CC* concurren.