Sigui P un punt qualsevol, O el circumcentre. L'ortopol oP de la recta OP pertany a la circumferència circumscrita al triangle cevià de l'isogonal P* de P.