Theorem SMEZV Scalar Multiplication Equals the Zero Vector

Suppose that $V$ is a vector space and $\alpha\in\complex{\null}$. If $\alpha\vect{u}=\zerovector$, then either $\alpha=0$ or $\vect{u}=\zerovector$.

Proof
(in context)