What does it mean for two integers to be congruent modulo n?
They have the same quotient when divided by n
They have the same remainder when divided by n
Their difference is exactly n
They are both divisible by n