El ortocentro del triángulo ceviano de un punto P de la circunferencia circunscrita a ABC es el circuncentro O de ABC.