参考です
最大公約数を[g]とすると、[a=ga']、[b=gb'] (a',b'は互いに素)と表わされ、
最小公倍数[ℓ]が、aをb'倍、bをa'倍した[ga'b']となります。
―――――――――――――――――――――――――――――――――――――
これから、
2数の積a・b=ga'g・gb'=g²a'b' であり
最大公約数[g]と最小公倍数[ℓ]の積は、[g]・[ga'b']=g²a'b' なので
2数の積[a・b]と最大公約数[g]と最小公倍数[ℓ]の積は
ともに[g²a'b']となり、等しくなります