Verify directly via marginal rates of substitution that the competitive equilibrium allocation is Pareto efficient (First Welfare Theorem).
Show proof
, and . Both marginal rates of substitution equal the equilibrium price , so the indifference curves are tangent and the allocation is on the contract curve — Pareto efficient.
In utility space, , which lies exactly on the utility possibility frontier traced along the contract curve (the diagonal). This is the First Welfare Theorem: competitive equilibrium is Pareto efficient.