**Lemma** Let $n,m$ be [[Natural Numbers|natural numbers]]. Then $n\times m=0$ iff at least one of $n,m$ is equal to zero. In particular, if $n$ and $m$ are positive iff $nm$ is strictly positive. Corollary [[Ring of Integers has no Proper Zero Divisors]].