Sean P el ortocentro, Q un punto de la recta de Euler.  La circunferencia de diámetro PQ corta AP, AQ en Xp, Xq. Definimos análogamente Yp, Yq, Zp, Zq. Las rectas XpXq, YpYq, ZpZq son concurrentes.