Let A', B', C'  be the antipodals of A, B, C in the circumcircle, Ea, Eb, Ec the excenters. EaA', EbB', EcC' are orthogonal to the sides of the extouch triangle DEF.