Let $a,b \in \mathbb{Z}$ be nonzero integers. Let $\gcd(a,b)$ denote the positive [greatest common divisor](/page/Greatest%20Common%20Divisor) of $a$ and $b$, and let $\operatorname{lcm}(a,b)$ denote the least positive common multiple of $a$ and $b$. Then