结构定理 中国煤炭 凸函数 半单环 税收 公债 自然数 幕零元 Q-根 等价形式