The congruence 
(``a is congruent to b mod n'') says that,
when divided by n, a and b have the same remainder.
In the second congruence, we are using -6=8(-1)+2. We always have
for some 
, and we are usually concerned with
that b. If and 
, we can add or multiply
Division does not always work: 
but 
.