计算题 设α₁，α₂，…，α_s为s个线性无关的n维列向量，证明必存在一个n元齐次线性方程组，使α₁，α₂，…，α_s是它的一个基础解系。