一道线性代数证明题证明:若向量组a1,a2,...,as线性无关,那么b,a1,a2,...,as线性无关的充要条件是b