salam
double inclusion
1) si d divise a ^ b ===> d divise a et b ===> d divise a+b et avb ====> d divise (a+b)^(avb)
2) si d divise (a+b)^(avb) ====> d divise (a+b) et (avb)
notons D=a^b ====> d divise D(a'+b') et D.a'b'
a', b' premiers entre eux <===> a'+b' et a'b' premiers entre eux (résultat connu)
donc forçément d divise D=a^b.
.......................................................