Theorem EMS Eigenspace for a Matrix is a Subspace

Suppose $A$ is a square matrix of size $n$ and $\lambda$ is an eigenvalue of $A$. Then the eigenspace $\eigenspace{A}{\lambda}$ is a subspace of the vector space $\complex{n}$.

Proof
(in context)