>>34
補題:

a, b∈Zとする。aとbが互いに素ならば、

na + mb = 1

を満たす整数n, mが存在する。