科斯定理和庇古税:悲伤的纯音乐