代数的整数
P (x) をモニックでない整数係数原始多項式で、かつ Q 上既約であるとする。このとき P (x) の根は代数的整数とならない。(ここで原始多項式とは、係数の最大公約数が 1 であるような多項式のことを言う。これは「係数が互いに素であるような多項式」よりも弱い条件である。)