Let be an acute angled triangle with orthocenter and . Let be any other point on the arc of the circumcircle of and let line intersect line at and let line intersect line at . Let the circumcircles of and intersect again at (). Let the lines intersect the circumcircle of again at (). Prove that the lines concur.