n维向量组阿尔法1,阿尔法2,...,阿尔法s(3小于等于s小于等于n)线性无关的充分必要条件是