ユークリッドの互除法
実際、 が を割り切らないならば、 と は互いに素であり、ユークリッドの互除法を用いて となる整数 の存在が示される（この等式はベズーの等式と呼ばれる）。両辺に を掛ければ