定理“n个方程n个未知量的齐次线性方程组有非零解的充分必要条件是方程组的系数行列式等于零”怎么理解?