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

It is necessary to know that a,b are integers and n,p are positive integers.

We must prove that S is the number of integers n mod p between a and b.

You should know that I found an equivalence between n mod p and n - p*floor(n/p).

Thanks for the help!