Let X, Y be the points in the Kiepert hyperbola corresponding to angles t, pi/2-t (see r96). The line XY goes through the circumcenter O.