线性代数中最大线性无关组
我想问假设一组向量的最大线性无关组是k,那么对于这组向量的任意包含k个向量的线性无关的向量组都是其最大线性无关组么（即只要这k个无关,它就能代替这个向量组）?
例：
假设a0,a1,a2,a3,a4,a5中a1,a2,a3是它的一个最大线性线性无关组,那么当a2,a3,a4也线性无关时,它一定也是a0,a1,a2,a3,a4,a5的最大线性无关组么?
（注：书上说最大线性无关组可能不唯一,但个数肯定相同且等价,那么假设秩为k,则任意一个数量为k的线性无关组一定就是最大线性无关组么?（即可以代替整个向量组））