Sea O el circuncentro de ABC, P un punto de BC. La circunferencia {OBP} corta AB en M, y la circunferencia {OCP} corta AC en N. El ortocentro de PMN es O.