Thanks,
John
I think that the authors are asking you to show that the set of
numbers that they ask about is equal to the union of finitely many
congruence classes mod some M. This means that if x is in S and y is
congruent to x mod M, then y is also in S.
Ken R