科斯定理实际上指出，在交易成本为零的时候，庇古的理论是不必要的