反证,
若存在b不能由a1-n先行表示,
则b同a1-n这n+1个向量线性无关,线性空间中极大线性无关组中包含的向量个数N>=n+1>n,
与题设中“n维向量空间”矛盾,后者与“极大线性无关组包含向量个数为n”等价.
证毕