theorem :: NEWTON06:69

for a, b, c being Integer holds (a * b) mod (a * c) = a * (b mod c)