The first fundamental theorem of welfare economics states that in a standard economic model, all equilibrium allocations are Pareto optimal. This means that the distribution of goods cannot be improved without making someone worse off. The social interaction among agents only affects market conditions, not individual decision-making. The theorem also holds true when considering stationary equilibria with share updating mechanisms.