We say for integers a, b and m (m>0) that a is congruent to b modulus m if and only if c divides a minus b.

Do you mean only if m divides a-b?