Let O be the circumcenter of ABC, P a point in BC. The circle {OBP} cuts AB at M, and the circle {OCP} cuts AC at N. The orthocenter of PMN is O.