1 = の証明
CC とらちが互いに素なとき
g, 2o, 3o,・・, (5 一 1)g をで割った余
りは全て異なる (※) ので, 余りが1となる
ようなものが存在する。
それ 7726 とおき, 6 で割った商を 7。 とお
に
7 三672十1
つまり, g77 一 6 三 1 となり(7z, 一)
は整数解になっている。
※の証明(育理法)
2 と 7 (? > 7) を0 で割った余りが同じだ
と仮定すると, (? 一 7)cg は0の倍数となる
はずだが, 1 <く?一7このかつoと6は互
いに素なのでこれは矛盾。