for n being natural Number
for a being Integer holds (a mod n) mod n = a mod n