如果如果齐次线性方程组的系数行列式等于零,则它有非零解?