科斯定理——牛走失后的设想