とりあえず確実に言える事は、gcm(a,b)*lcm(a,b)=a*b だ。