Let X be a point in the circumcircle, Y its anticomplement, Z the orthoassociate of Y. Then Z belongs to the incircle of the orthic triangle A'B'C'.