La idea es si un sistema de ecuaciones tiene solucion.
Por ejemplo, sea n tal que divididor por 4 tenga resto 1
y dividido por 2 tenga resto 1.
Mirando bien uno saca que 1 es solucion.
Pero ahora veamos, sea n tal que dividido por 4 tenga
resto 0 y dividido por 2 tenga resto 1.
Uno puede ver que si tiene resto 1 dividido por 2 es
impar, y divido por 4 resto 0, entonces es par, contradiccion.
No hay ninguna solucion.
El teorema dice en que casos hay solucion y en que
casos no. Te sugiero el libro de Enzo Gentile, Aritmetica
elemental.