r128
The point X(125) is the point X(100) of the orthic triangle.