Theorem RNNM Rank and Nullity of a Nonsingular Matrix

Suppose that $A$ is a square matrix of size $n$. The following are equivalent.

  1. A is nonsingular.
  2. The rank of $A$ is $n$, $\rank{A}=n$.
  3. The nullity of $A$ is zero, $\nullity{A}=0$.

Proof
(in context)