Let A', B', C' be the cevian traces of the Nagel point Ng. The six Thebault circles of A', B', C'  are tangent to the circle centered at the circumcenter O and going through Ng.