Setup. Let δ=\divisibility(a,b), a=δa′, b=δb′ with \divisibility(a′,b′)=1.
LCM. Any common multiple M of a and b satisfies M=αa=βb, so αδa′=βδb′, i.e. αa′=βb′. Since \divisibility(a′,b′)=1, a′∣β, say β=ka′. Then
M=kb′δa′=kab/δ.
The smallest positive such M is for k=1, so
lcm(a,b)=δab.
Conclusion. Multiplying by δ:
\divisibility(a,b)⋅lcm(a,b)=ab.
Remark. If \divisibility(a,b)=1, then lcm(a,b)=ab.