Let A'B'C' be the circumcevian triangle of the circumcenter O; A", B", C" the orthogonal projections of A', B', C' on the sides. The lines AA", BB2, CC" concur.