Existence of Lowest Common Multiple

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

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