Source: http://www.lacim.uqam.ca/~christo/Alg%C3%A8bre%201/Ch.%207%20Congruences.pdf