Theorem NMTNS Nonsingular Matrices have Trivial Null Spaces

Suppose that $A$ is a square matrix. Then $A$ is nonsingular if and only if the null space of $A$ is the set containing only the zero vector, i.e. $\nsp{A}=\set{\zerovector}$.

Proof
(in context)