nが偶数のときは考える必要がないので
nが奇数だけを動くとしてよい

だから結局aが負のときは n^2|a^n-1 (a＞1)
をかわりに考えればよい
やはりこれも同様の議論で解けるので無問題