阶梯型向量组一定线性无关?

是这样子的:
列向量a1,a2,...,as 构成矩阵 (a1,a2,...,as) 经初等行变换化成阶梯形后
非零行的首非零元所在列对应的向量,构成向量组的一个极大无关组
比如 (a1,a2,a3,a4) 化成
1 2 3 4
0 5 6 7
0 0 0 8
0 0 0 0
0 0 0 0
则 a1 a2,a4 构成向量组a1,a2,a3,a4的一个极大无关组
有疑问请追问或消息我
再问： 那行向量化简后成以上例子，怎么办？
再答： 如果 a1,a2,a3,a4 是行向量, 要把它按列向量构造矩阵 (a1',a2',a3',a4') ai' 表示 ai 的转置. 求极大无关组都是这个方法.
再问： 大侠，为什么说A中r阶子式全为0，则矩阵A的秩r(A)=3 ) (2) 所有r+1阶子式(若存在的话) 都等于0 (例子中, 4阶子式必有0行, 所以4阶子式都等于0, 所以 r(A)