Let P1, P2 be antipodal points in the circumcircle of ABC, s1, s2 their Simson lines. The line P1P2 cuts s1 at Q1, s2 at Q2; lines s1, s2 intersect at S. The circle having diameter P1P2 and the ninecircle cn are tangent at S.