Theorem REMES Row-Equivalent Matrices represent Equivalent Systems

Suppose that $A$ and $B$ are row-equivalent augmented matrices. Then the systems of linear equations that they represent are equivalent systems.

Proof
(in context)