Siguin A', B', C' les traces cevianes d'un punt P. L'eix radical de les circumferències {BAA'}, {BCC'} passa per l'isogonal cP* del complement cP de P.