任何一个矩阵都可以经过有限次初等行变换化为行阶梯形矩阵