Harsanyi's utilitarian theorem

In decision theory, the Harsanyi's utilitarian theorem proves mathematically that a rational social welfare function that satisfies the expected utility axioms and respects the Pareto indifference principle must be a weighted sum of individuals' utility functions.