怎么证明Ax=b的解线性无关