Proof of Theorem RPNC

Let $r$ be the number of nonzero rows in a row-equivalent matrix in reduced row-echelon form. By Theorem CRN, \begin{equation*} \rank{A}+\nullity{A}= r+(n-r)=n \end{equation*}