r197
Let P, Q be two orthoassociate points. The line PQ contains the orthocenter H.