设是齐次方程组的基础解系。证明也是的基础解系。