注意 $c_i$ 有可能为 $0$，不能用 $c_i>0$ 求线性空间维数。