Sean A', B', C' las trazas cevianas de un punto P. El eje radical de las circunferencias {BAA'}, {BCC'} pasa por el isogonal cP* del complemento cP de P.