Sean D', E', F' los vértices del triángulo de contacto exterior. Las tangentes a la circunferencia inscrita por D', E', F' distintas de los lados tienen puntos de tangencia D", E", F". Entonces las rectas AD", BE", CF" concurren.