Theorem CRN Computing Rank and Nullity

Suppose that $A$ is an $m\times n$ matrix and $B$ is a row-equivalent matrix in reduced row-echelon form. Let $r$ denote the number of pivot columns (or the number of nonzero rows). Then $\rank{A}=r$ and $\nullity{A}=n-r$.

Proof
(in context)