for i, j, k, l being Integer st i mod l = j mod l holds
(k + i) mod l = (k + j) mod l