设a1,a2,...at为AX=0的一个基础解系，Β不是AX=0的解，证明：Β+Βa1，Β+a2，...Β+at线性无关。