theorem
  (p+s) mod n = (p + ( s mod n)) mod n by Th22;
