LCM equals Product iff Coprime

Theorem
Let $a$, $b$ be coprime integers.

Then,


 * $\operatorname{lcm} \{ a, b \} = ab$