for p, n, s being natural Number holds (p + s) mod n = (p + (s mod n)) mod n by Th22;