若a b是正整数,n是非负整数,试证:若a^n整除b,那么a^(n+1)整除((a+1)^b)-1