Demonstração de que se a | b e a | c, então a | (bx+cy). Dado n número natural, a relação de congruência módulo n é uma relação reflexiva, simétrica e transitiva. É uma relação de equivalência. Discussão informal de classes de equivalência.