Existence of Lowest Common Multiple

Theorem
Let $a, b \in \Z: a b \ne 0$.

The lowest common multiple of $a$ and $b$, denoted $\operatorname{lcm} \left\{{a, b}\right\}$, always exists.