r838
P and Q being two cyclocevian points, its isotomic complements P^, Q^ are isogonal.