フェルマーの小定理:a^(p?1) ≡ 1 (mod p)
すると、10^(p-1)-1はpで割り切れる
R(p-1)=10^(p-1)-1}/9
→pに対し、整数倍すればR(p-1)*9が存在する
→pに対し、整数倍すればR(p-1)が存在する
証明終わり
どんな素数pに対しても、R(p-1)は素数pで割り切れます