Theorem one:In the absence of transaction costs, the initial allocation of rights between parties does not matter.
Theorem twIn the presence of transaction costs, the initial allocation of rights may matter:one initial allocation may be superior to another.
Theorem three: In the presence of transaction costs, some distributions of limited rights may be superior to any that the parties could arrive at themselves through trade.
"科斯中性定理"(coase neutrality theorem) is the same as Theorem one.