The set of remainders when a positive integer is divided by 4 is { 0 1 2 3 }. There can be no more in the set, because if we, for example, add 4 to the set, we can divide 4 by 4 to get zero remainder, but zero is already in the set, so the set is complete