4 En el triángulo $ABC$ , el punto $O$ es el circuncentro. El punto $T$ es el baricentro de $ABC$ , y los puntos $D$ , $E$ y $F$ son los circuncentros de los triángulos $TBC$ , $TCA$ y $TAB$ . Demuestre que $O$ es el baricentro de $DEF$