LCM equals Product iff Coprime

Theorem
Let $a,b$ be coprime integers.

Then:


 * $\operatorname{lcm} \left\{{a, b}\right\} = a b$

where $\operatorname{lcm}$ denotes the lowest common multiple.