>>771
>>526の以下の記述は、ルジャンドル予想が正しいことを前提にしています。
それを、ルジャンドル予想が正しければ、と書くわけです


------
少なくとも１つ存在する素数の数の分だけ合成数ではないので、n^2から(n+1)nまでの間のn-1個の
うちの合成数は、n-2個のrに対して一対一関係を設定することができる。論文でこのアルゴリズムが
無限まで機能することを証明している。