Sigui A'B'C' el triangle circumcevià d'un punt P, i siguin A", B", C" els simètrics de A', B', C' en els costats d'ABC. Llavors les circumferències {ABC}, {A"B"C}, {A"BC"}, {AB"C"} són concurrents en l'isogonal de l'infinit de la direcció perpendicular a HP, on H és l'ortocentre.