Sean $D,E,F$ los puntos de contacto del incírculo de un triángulo acutángulo $ABC$ con $BC,CA,AB$ respectivamente. Sean $I_1,I_2,I_3$ los incentros de los triángulos $AFE, BDF, CED$ , respectivamente. Demuestra que las líneas $I_1D, I_2E, I_3F$ son concurrentes.