First Fundamental Theorem of Welfare Economics