Remark

In the first chapter we also used the notation a mod n for the remainder r of the division of a by n. This can be justified by the observation that r is congruent to a modulo n.

If n equals 0, then a is only congruent to itself mod n. Note further that congruence mod n is the same as congruence mod -n.