Existence of RRE Form Every m×n matrix A can be reduced by EROs to a matrix in RRE form Proof - Use Lecture Notes