N元齐次线性方程组有非零解的所有充要条件