>>772訂正
>>771
降順で対応付けるため、上位の奇素数グループでの対応付けでp側の2の倍数を余らせる一方で、r側の2の倍数をp側の2の倍数「以外の」数(奇素数のグループ)に対応付けさせると

a(n,2)=b(n,2)より、確実に2のグループでの対応付けは出来ません。>>39の内容ですね