标签：一个解矩阵是基解矩阵的充要条件是解矩阵的行列式不为