[定理](ベズーの定理)
a,b∈Z,a⊥bのとき、ax+by=1を満たすx,y∈Zが存在する。