如何证明:若向量组 a1,...,as 可由向量组b1,...,bt 线性表示,且 s>t,则 a1,...,as 线性