The altitudes of the sinorthiac triangles AAbAc, BBcBa, CCaCb coming from A, B, C concur at the circumcenter O.