对任意的正整数a,b,是否都有无数多个合数n,使得a^(n-1) — b^(n-1)能被n整除,证明或否定.