for a, b, n being Nat
for c being Integer st c divides a - b holds
c divides (a |^ n) - (b |^ n)