Sea A'B'C' el triángulo circunceviano de un punto P, y sean A", B", C" los simétricos de A', B', C' en los lados de ABC. Entonces las circunferencias {ABC}, {A"B"C}, {A"BC"}, {AB"C"} concurren en el isogonal del infinito de la dirección perpendicular a HP, donde H es el ortocentro.