Theorem NSMS Null Space of a Matrix is a Subspace

Suppose that $A$ is an $m\times n$ matrix. Then the null space of $A$, $\nsp{A}$, is a subspace of $\complex{n}$.

Proof
(in context)