科斯定理证明