Harsanyi's utilitarian theorem