Theorem RPNC Rank Plus Nullity is Columns

Suppose that $A$ is an $m\times n$ matrix. Then $\rank{A}+\nullity{A}=n$.

Proof

(in context)