$\gcd(a, b) \cdot \text{lcm}(a, b) = ab$

$\gcd(a, b)$ divides $\text{lcm}(a, b)$

$\gcd(a, b) + \text{lcm}(a, b) = a + b$

$\text{lcm}(a, b)$ is always even