设AX=0是4元齐次线性方程组,有非零解,则A的秩满足什么条件?