Let A'B'C' be the circlecevian triangle of P. Let Ha, Hb, Hc be the orthocenters of A'BC, B'CA, C'AB. The circles {HaBC}, {HbCA}, {HcAB} concur at the antigonal P/ of P.