设有n维向量组A:a1 a2····am 且am可由A中其它向量线性表示,证明A有一个最大线性无关组不包含am