Por tanto, toda solución del sistema es congruente con "x" en módulo "N", tal y como se había establecido previamente en la formulación del teorema.