Math 2318 Why Gaussian Elimination Works, Part 2

After proving Lemma 3, the proof of why Gaussian Elimination produces an ref (reduced echelon form) or an ref (reduced row echelon form) whose solution sets are exactly the same as the solution set of the original system
whose matrix eqn form is Ax=b.