>>684
  f(x) = q1(x)h(x) + r(x) , g(x) = q2(x)h(x) + r(x)
なら,差 f(x) − g(x) が h(x) で割り切れるのはすぐわかる
逆に f(x) − g(x) が h(x) で割り切れるとき(商を Q(x) とする),
  f(x) = Q(x)h(x) + g(x)
なので, f(x) と g(x) を h(x) で割ったときの余りは一致する