Let r be a line through the circumcenter O. The pedal circles of the points P in r go through the orthopole X of r, X being also the center of the circumhyperbola isogonal of r.