 It does not in any way opine on the fairness of the allocation (in the sense of distributive justice or equity).An efficient equilibrium could be one where one player has all the goods and other players have none (in an extreme example), which is efficient in the sense that one may not be able to find a Pareto improvement - which makes all players (including the one with everything in this case) better off (for a strict Pareto improvement), or not worse off.In the case of indivisible items, we have the following strong versions of the two welfare theorems