>>770
誤りではありません。n≧3でa(n,2)=b(n,2)とa(n,3)=b(n,3)を証明しているので
rが足りなくなるということはありません。