Theorem CNMB Columns of Nonsingular Matrix are a Basis

Suppose that $A$ is a square matrix of size $m$. Then the columns of $A$ are a basis of $\complex{m}$ if and only if $A$ is nonsingular.

Proof
(in context)