Four orthocenters lie on a circle