ユークリッドの互除法
さてこれにより、有理係数の任意の多項式が一意に定まる整係数原始多項式に同伴となることが従う。この原始多項式はユークリッドの互除法によって計算できる。