Theorem ZPZT Zero Product, Zero Terms

Suppose $\alpha,\beta\in\complexes$. Then $\alpha\beta=0$ if and only if at least one of $\alpha=0$ or $\beta=0$.

Proof
(in context)