COS的存在证明 上