최대공약수 GCD(Greatest Common Divisor): 두 자연수의 공통된 약수 중 가장 큰 수를 의미한다.
최소공배수 LCM(Least Common Multiple): 최소공배수는 두 자연수의 공통된 배수 중 가장 작은 수를 의미한다.

최대공약수(GCD)를 구하는 알고리즘이다.
그림과 같이 서로를 번갈아가며 나머지만 남기고 한쪽이 0이 되면 남은 값을 반환한다.
def gcd(m,n):
if m < n:
m, n = n, m
if n == 0:
return m
if m % n == 0:
return n
else:
return gcd(n, m%n)
두 자연수의 곱 = 최대공약수 * 최소공배수