How to prove that S is the number of integers congruent to n (mod p) in the interval a inclusive and b inclusive ?