>>99
すいません。問題が間違っているのかもしれないです。
aとbが互いに素という条件のもとでa^nがbの倍数という
ことが成り立つとしたら、a=±1しかないですよね？