2ページ目の冒頭で

Π[k＝2〜n−1] (n^2＋i−km_{ik}) ≠ 0

(i−2m_{i2})(i−3m_{i3})・・・(i−(n−1)m_{i,(n−1)}) /≡ 0 (mod n)

と書いてるけど、Π[k＝2〜n−1] (n^2＋i−km_{ik}) ≠ 0 が成り立つからといって
(i−2m_{i2})(i−3m_{i3})・・・(i−(n−1)m_{i,(n−1)}) /≡ 0 (mod n)
が成り立つとは限らないのでは？このあとの文脈で y_i＝0 のケースだけを考えているところを見ると、

・ n^2＋i が素数なら (i−2m_{i2})(i−3m_{i3})・・・(i−(n−1)m_{i,(n−1)}) /≡ 0 (mod n) である
・ n^2＋i が素数でないなら (i−2m_{i2})(i−3m_{i3})・・・(i−(n−1)m_{i,(n−1)}) ≡ 0 (mod n) である
・ ゆえに、n^2 から n(n＋1) の範囲に素数がないなら、1≦i≦n−1 に対して
　 いつでも (i−2m_{i2})(i−3m_{i3})・・・(i−(n−1)m_{i,(n−1)}) ≡ 0 (mod n) である

と勘違いしているフシが見受けられる。実際にはここは間違いだろう。