>>717 15が合成数だと言うことを失念していた
2^201=2^(3*67)=8^67=(9-1)^67≡-1 (mod 9)
あたりも入れなくちゃ確定しないな