定理 1.1.

若线性方程组 (1.1)的增广矩阵 经一系列的初等行变换变成 , 则以 为增广矩阵的线性方程组与 (1.1) 同解.