P and Q being two cyclocevian points, its Miquel associates P', Q' are isogonal and the lines PQ and p'Q' are parallel.