X, Y being on the circumcircle, the isogonal Z of the infinite point of XY belongs also to the circumcircle. The Simson lines of X, Y, Z with respect to ABC and the Simson lines of A, B, C with respect to XYZ concur all six at the midpoint betwen the orthocenters of ABC and XYZ.