Real Linear Subspace Contains Zero Vector

Theorem
Let $\mathbb{W}\subset\R^n$ such that $\mathbb{W}$ is a linear subspace of $\R^n$.

Then $\mathbb{W}$ contains the zero vector:

$\mathbf 0_{n \times 1} = \begin{bmatrix} 0 \\ 0 \\ \vdots \\ 0 \end{bmatrix} \in \mathbb{W}$

Proof
This is a consequence of Vector Subspace of $\R^n$.