But the justification is the same, congruence modulo 2^n

Z_4

     0  1  2  3  4  5  6  7  8  9 
     0  1  2  3  0  1  2  3  0  1
     0  1 -2 -1  0  1 -2 -1  0  1