Existence of RRE Form

Every matrix can be reduced by EROs to a matrix in RRE form

Proof - Use Lecture Notes