r1352
The points X(100), X(104) are antipodal in the circumcircle.