>>508
1≦i≦a-1なる自然数として
ib (i+1)bを考える
(i+1)b-ib=b これは条件よりaでは割り切れない
よって(it1)b ibをaでわった余りは異なる