row_simplest_mat.md

非零行首非零元为$1$，且这些非零元所在列的其它元素全为$0$的行阶梯形矩阵称为行最简形矩阵

显然任何矩阵都可通过初等行变换化为行最简形矩阵，参考行阶梯形矩阵相关的证明。