La circunferencia inscrita en el triángulo BCI, siendo I el incentro, toca el lado BC en A'. Análogamente se definen B', C'. Entonces las rectas AA', BB', CC' concurren.