Let Q be a common point of the circumcircle and the ninecircle, and let P be the anticomplement of Q. The point P belongs to the circumcircle of its cevian triangle.