5.2 RREF 唯一性与秩的良定性

证明简化行阶梯形的唯一性，并用它说明秩不依赖所选行化简路径。