Verified answer

рассмотрим два числа, имеющие при делении на b остаток с

x = m*b + c

y = n*b + c

x - y = mb + c - nb  - c = b*(m - n)

полученное произведение делится на b, так как один из множителей делится на b

доказано