齐次线性方程组若有非零解，那么方程的个数小于未知数的个数