Sigui A'B'C' el triangle circumcevià d'un punt P, Ha, Hb, Hc els ortocentres de A'BC, B'CA, C'AB. Els circumcentres de HaBC, HbCA, HcAB són independents de P i coincideixen amb els simètrics Oa, Ob, Oc del circumcentre O respecte els costats.