1. 设α₁，α₂，…，α_s为ｓ个线性无关的n维向量，证明：存在ｎ个未知数的齐次线性方程组，使α₁，α₂，…，α_s是它的一个基础解系。