greatest common divisor with decreases using do structure and recursion
least common multiple using a*b=(a,b)*[a,b]