关于求向量组最大无关组的一点注记

证明了矩阵的第一种初等变换可由第二、三两种初等变换代替 。