Coase's first theorem was when transaction costs are zero, the allocation of resources can reach the optimal efficiency, regardless of the assignment of property rights.