>>5
>>4は誤りでした。

「 Π[k＝2〜n−1] (n^2＋i−km_{ik}) は n の倍数ではない 」
それは示すことができませんが、十分条件であり

nの倍数になる場合も含めて、yi=0のときがn^2<p<n(n+1)の間に素数が存在しないことを仮定した
ことになります。