Let P be the orthocenter, Q a point in the Euler line. The circle with diameter PQ cuts AP, AQ at Xp, Xq. Define analogously Yp, Yq, Zp, Zq. The lines XpXq, YpYq, ZpZq concur.