Well-defined property rights, low transaction costs, and resources that naturally gravitate toward the highest-valued function describe the theorem.