I'm confused by 4 in Theorem 4. What if the row has a row of all 0s? There is no pivot position there, but it would still work for echelon form, and if the augmented matrix can be put into echelon form it has a solution, but that would violate 1 in Theorem 4. Could someone clarify my current misunderstanding?
Theorem 4: Let $A$ be an m x n matrix. Then the following statements are logically equivalent. That is, for a particular $A$, either they are all true statements or they are all false.
For each $b$ in $\mathbb{R}^m$,the equation $Ax=b$ has a solution.
Each $b$ in $\mathbb{R}^m$ is a linear combination of the columns of $A$.
The columns of $A$ span $\mathbb{R}^m$.
$A$ has a pivot position in every row.