基础解系的定义；一组线性无关的解,用它们可以线性表示方程组所有的解.
设A＝｛α1,α2,……αt｝为基础解系,B=｛β1,β2,……,βs｝为A的等价组.
而且B组线性无关.
因为,A,B等价,所以A,B可以互相线性表示,A是基础解系,可以线性表示方程
组所有的解.B可以线性表示A,从而可以线性表示方程组所有的解.
（表示具传递性）
又B线性无关.所以,组B也是基础解系.
（还有一点.s=t,请楼主用“少表多,多相关”自己完成.O.K ）