S个向量线性无关的充分必要条件是其向量组的r=s