P and Q being antigonals, their isogonals P* and Q* are inverses in the circumcircle.