什么叫方程组有非零解?