Division entera y congruencias

En el conjunto de los números enteros,si D es el dividendo y d =/= 0 es el divisor,existen y son únicos dos enteros c (cociente) y r (resto) tales que:

D = d . c + r con r mayor o igual que 0 y menor que el módulo de d.

En la división euclidiana r es positivo y menor que el módulo del divisor.
http://www.math.mtu.edu/mathlab/COURSES/holt/dnt/divis5.html

http://www.math.hawaii.edu/~lee/courses/Division.pdf
En las congruencias modulo m el estrictamente positivo siempre es m existiendo sin embargo restos negativos.Dos enteros a y b son congruentes si la diferencia a-b es divisible por el entero positivo m. El mejor sitio de consulta lo tenemos aquí:
http://ma1.eii.us.es/Material/IMD_ii_Ap.pdf