Theorem:
Given a system of linear equations $Ax = b$ where $A \in M_{m \times n}\left(\mathbb{R}\right)$, $ x \in \mathbb{R}^{n}_{col} $, $ b \in \mathbb{R}^{m}_{col}$
Deduce that a solution $x$ exists if and only if $rank\left(A|b\right) = rank\left(A\right)$ where $A|b$ is the augmented coefficient matrix of this system
I am having trouble proving the above theorem from my Linear Algebra course, I understand that A|b must reduce under elementary row operations to a form which is consistent but I don't understand exactly why the matrix A|b need have the same rank as A for this to happen.
Please correct me if I am mistaken