The orthocenter of the cevian triangle of a point P in the circumcircle of ABC is the circumcenter O of ABC.