早速本題に入りましょう. 命題 を定数でない多項式とする. このとき は無限集合. 証明 が有限集合 と仮定する. となる整数 をとる. このとき ある多項式 が存在して となる. 特に, は任意の整数 に対して で割り切れる. 今 とおく. このとき も定数ではなく,…