n向量组 证明个向量组等价