พจนานุกรม

を両方割り切ることを証明すれば十分である。 a と b が共通約元 d をもてば、これを a/d と b/d に対して証明すれば十分である、なぜならば同じ s, t でうまくいくから。 多項式 a と b は 0 でないとしてよい。両方とも定数項が 0 であれば、n を次のような最小の指数とする。それらのうち少なくとも一方が