请老师们证明或编程验证整除性问题

elim

a^b = (a+b-b)^b ≡ (-b)^b (mod a+b).
所以 a^b +b^a ≡ b^a (1+(-1)^b(b^(b-a)))(mod a+b)
问题归结为 讨论
b^a (1+(-1)^b(b^(b-a))) ≡ 0 (mod a+b)
何时成立．

elim