Sea P un punto cualquiera, O el circuncentro. El ortopolo oP de la recta OP pertenece a la circunferencia circunscrita al triángulo ceviano del isogonal P* de P.