theorem Th10: :: NUMBER05:10

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