Theorem NMLIC Nonsingular Matrices have Linearly Independent Columns

Suppose that $A$ is a square matrix. Then $A$ is nonsingular if and only if the columns of $A$ form a linearly independent set.

Proof
(in context)