Let Ea, Eb, Ec be the excenters. The Brocard lines of EaBC, EbCA, EcAB concur at a point in the circumcircle.