for n, a, b being Integer holds (a * b) mod n = ((a mod n) * (b mod n)) mod n