Алгоритм Евклида?
если a < b, то a%b всегда равно a
Def gcd(a, b) :
    return a If b==0 else gcd(b, a%b)
# эквивалентно
def gcd(a,b):
    if b == 0:
        return a
    else:
        #вызываем сами себя (рекурсия)
        gcd(b, a % b)