3.3任一向量组均与它的极大线性无关组等价