theorem Th9: :: NUMBER05:9

for a, b, c, d, n being Integer holds (((a + b) + c) + d) mod n = ((((a mod n) + (b mod n)) + (c mod n)) + (d mod n)) mod n