r262
The orthopole of a line r going through the circumcenter O lies in the ninecircle.