The fundamental theorem of welfare economics, can be mathematically derived. The conclusion is that, even if we assume in terms of these functions that producers and consumers only have local information, with no central planning or extensive information-sharing, and producers and consumers are motivated entirely by self-interest, then the resulting allocation of resources will be efficient. This conclusion uses the concept of what is called Pareto efficiency, that nobody can be made better off without making somebody else worse off.