设为矩阵，且非齐次线性方程组有唯一解，则有（）