Sean A'B'C' el triángulo circunceviano de un punto P; Ha, Hb, Hc los ortocentros de A'BC, B'CA, C'AB. Los circuncentros de HaBC, HbCA, HcAB son independientes de P y coinciden con los simétricos Oa, Ob, Oc del circuncentro O respecto de los lados.