Let P be a point in BC, Tb and Tc the contact points between the Thebault circles of P and the circumcircle, Ub and Uc the contact points between the Thebault circles of P and BC. The four points Tb, Tc, Ub, Uc are concyclic.