Matemáticas elementales de sistemas completos de residuos

Sólo es necesario demostrar que {0, 2, 4,..., 2(m-1)} constituye un sistema de restos completo módulo m, porque {0, 2, 4,..., 2(m-1) )} es {A1+B65438.

Supongamos en cambio que si el conjunto {0, 2, 4,..., 2(m-1)}, sean 2x y 2y módulo m congruentes (0

Tenga en cuenta que m es impar, por lo que x-y también es divisible por m pero por 0

Por lo tanto, la suposición opuesta no se cumple, y {0, 2, 4, ..., 2(m-1)} Constituye un sistema de resto completo módulo m