lcm(gcd(30, 12), 15) = gcd(30, lcm(12, 15))