齐次方程组AX=O有非零解的充要条件是?