Five orthocenters lie on a circle