LCM equals Product iff Coprime

Theorem
Let $a, b \in \Z_{>0}$ be coprime integers.

Then:


 * $\lcm \set {a, b} = a b$

where $\lcm$ denotes the lowest common multiple.