Sea P un punto y Pa, Pb, Pc sus trazas cevianas; A' el punto de contacto de la circunferencia inscrita y la segunda tangente por Pa. Definimos análogamente B', C'. Entonces AA', BB', CC' concurren.