4 Se tiene un triángulo, $ABC$ . Trace las trisectrices internas de los ángulos. Sean las dos trisectrices más cercanas a $AB$ cortándose en $D$ , las dos trisectrices más cercanas a $BC$ cortándose en $E$ , y las dos más cercanas a $AC$ en $F$ . Demuestre que $DEF$ es equilátero.