Greatest Common Divisor

AOJの問題
Aizu Online Judge

ユークリッドの互除法
特に言うことなし。Python 3系で書いた。
そういや、証明はできんな・・・なんでなんやろ・・・

def gcd(a, b):
    la = max(a, b)
    sm = min(a, b)
    if la % sm == 0:
        return sm
    else:
        return gcd(sm, la % sm)


a, b = map(int, input().split())
print(gcd(a, b))