Elementary Row Operation on Augmented Matrix leads to Equivalent System of Simultaneous Linear Equations

Theorem
Let $S$ be a system of simultaneous linear equations:


 * $\displaystyle \forall i \in \set {1, 2, \ldots, m}: \sum_{j \mathop = 1}^n \alpha_{i j} x_j = \beta_i$

Let $\begin {pmatrix} \mathbf A & \mathbf b \end {pmatrix}$ denote the augmented matrix of $S$.

Let $\begin {pmatrix} \mathbf A' & \mathbf b' \end {pmatrix}$ be obtained from $\begin {pmatrix} \mathbf A & \mathbf b \end {pmatrix}$ by means of an elementary row operation.

Let $S'$ be the system of simultaneous linear equations of which $\begin {pmatrix} \mathbf A' & \mathbf b' \end {pmatrix}$ is the augmented matrix.

Then $S$ and $S'$ are equivalent.