First Theorem of Welfare Economics