theorem Th28: :: NUMBER03:28

for n being Nat
for a, b, k being Integer holds ((a + b) |^ n) mod k = (((a mod k) + (b mod k)) |^ n) mod k