>>773
余らせ方も全然間違っている。rでグループ化しているpに対してrが足りない場合に
pのうち、グループ化している奇素数rよりも小さな値の素因数を持つpを余らせる。

偶数の場合だけを説明するが、pが偶数の場合必ず、rを設定することができる。
n^2<p<n(n+1)を満たす偶数の数と1<r<nを満たすrの数は、n≧3で一致する。
これがa(n,2)=b(n,2)で証明をしている部分だ。