First theorem of welfare economics