Let \(d = \gcd(a, b)\). There exist coprime integers \(a'\) and \(b'\) such that \(a = da'\) and \(b = db'\).
Let \(m\) be a common multiple of \(a\) and \(b\).
- Since \(m\) is a multiple of \(a\), there exists an integer \(k\) such that \(m = ka = kda'\).
- Since \(m\) is also a multiple of \(b\), we have \(b \mid kda'\), which implies \(db' \mid kda'\).
- By simplifying by \(d\), we obtain \(b' \mid ka'\).
- Since \(\gcd(a', b') = 1\), according to Gauss's Theorem, \(b'\) must divide \(k\).
- The smallest strictly positive value for \(k\) is therefore \(k = b'\).
Thus, the smallest positive common multiple is:$$ \operatorname{lcm}(a, b) = b' \times a = b' \times (da') = d \times a' \times b' $$We can verify the product:$$ \gcd(a, b) \times \operatorname{lcm}(a, b) = d \times (d a' b') = (da') \times (db') = a \times b $$