Sigui P un punt i Pa, Pb, Pc les seves traces cevianes; A' el punt de contacte de la circumferència inscrita i la segona tangent per Pa. Definim anàlogament B', C'. Llavors AA', BB', CC' són concurrents.