Six orthocenters lie on a circle