若A不可逆,则AX=0有非零解,求证明