Sean A', B', C' las trazas cevianas de P. Se traza la circunferencia por A' y B' tangente a la circunferencia inscrita en los puntos de contacto C1, C2. Análogamente se definen B1, B2, A1, A2. Entonces las rectas A1A2, B1B2, C1C2 concurren.