请帮忙证明一个现性代数定理

结论应该是a1,a2,a3.as线性相关.
a1,a2,a3.as构成的矩阵为A
b1,b2,b3,.bt构成的矩阵为B
a1,a2,a3.as可由向量组b1,b2,b3,.bt线性表出的充要条件为R(B,A)=R(B)
注意到矩阵的一般性质max{R（A）,R（B）}