Let P be a point, A'B'C' the circumcevian triangle of P. The rectangular circumhyperbola through P cuts the circumcircle at Y, isogonal of the infinite point of the orthogonal to PP*, P* being the isogonal of P.