科斯定理的引入