First theorem of welfare economics

The proposition of welfare economics that a competitive general equilibrium is Pareto optimal. A corollary is that free trade is Pareto optimal among countries.