设为齐次线性方程组Ax=0的一个基础解系，证明也是该方程组的基础解系。