for k, m, n being natural Number holds m mod n = ((n * k) + m) mod n