Let r be a line going through the orthocenter H. The reflections of r on the sides concur at a point in the circumcircle.