>2m+1の中にdk=0の素数が全て含まれる場合
仮定が偽

>n≧5のときに、dk>0のkに対して少なくとも一つqk-ck-dk>0となるとき
誤り