La circumferència inscrita en el triangle BCI, on I és l'incentre, toca el costat BC en A'. Anàlogament es defineixen B', C'. Llavors les rectes AA', BB', CC' són concurrents.