「如果沒有交易成本，只要有財產權，任何外部效果當事人都可自行解決；而且不論財產權誰屬，從效率的觀點，結果相同。」這指的是以下何種定理？