3.3   一个线性无关的向量组的极大无关组就是它本身