r1146
The Exeter point E is the pole of the De Longchamps line with respect to the circumcircle.