The circumcenter O, the point X(125), the point X(403) and the antipodal of X(125) in the ninecircle are concyclic.