r604
The point X(80) is the inverse of the incenter I in the Fuhrmann circle cf.