>>911
>>357のどこにも>こうなる場合がないとは書いてないですね

>>906も書いてないですね。

a(n,2)=b(n,2)、a(n,3)=b(n,3)も倍数のチェックだけですね。最後はr=2に合成数を一つ、r=3に合成数を一つ対応させるだけなので、余らない証明にはなりませんね。