4 La circunferencia inscrita del triángulo $ABC$ , para el cual $AB\neq AC$ , es tangente a los lados $BC,CA$ y $AB$ en los puntos $D,E$ y $F$ , respectivamente. La perpendicular desde $D$ a $EF$ interseca al lado $AB$ en $X$ , y el segundo punto de intersección de las circunferencias circunscritas de los triángulos $AEF$ y $ABC$ es $T$ . Demuestre que $TX\perp TF$ . Propuesto por Pedram Safaei